Verified Software Theories Tools Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings
Afbeeldingen
Artikel vergelijken
- Engels
- Paperback
- 9783642150562
- 05 augustus 2010
- 215 pagina's
Samenvatting
Contains the proceedings of the third working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2010, held in Edinburgh, UK, in August 2010. This book features the papers that represent work on verification techniques, specification languages, formal calculi, verification tools, solutions to challenge problems, and more.
Productspecificaties
Wij vonden geen specificaties voor jouw zoekopdracht '{SEARCH}'.
Inhoud
- Taal
- en
- Bindwijze
- Paperback
- Oorspronkelijke releasedatum
- 05 augustus 2010
- Aantal pagina's
- 215
- Illustraties
- Nee
Betrokkenen
- Hoofdredacteur
- Gary T. Leavens
- Tweede Redacteur
- Peter O'Hearn
- Co Redacteur
- Sriram K. Rajamani
- Hoofduitgeverij
- Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Overige kenmerken
- Editie
- 1
- Extra groot lettertype
- Nee
- Studieboek
- Nee
- Verpakking breedte
- 156 mm
- Verpakking hoogte
- 17 mm
- Verpakking lengte
- 243 mm
- Verpakkingsgewicht
- 355 g
EAN
- EAN
- 9783642150562
Je vindt dit artikel in
- Categorieën
- Taal
- Engels
- Boek, ebook of luisterboek?
- Boek
- Studieboek of algemeen
- Algemene boeken
Kies gewenste uitvoering
Bindwijze
: Paperback
Prijsinformatie en bestellen
Rapporteer dit artikel
Je wilt melding doen van illegale inhoud over dit artikel:
- Ik wil melding doen als klant
- Ik wil melding doen als autoriteit of trusted flagger
- Ik wil melding doen als partner
- Ik wil melding doen als merkhouder
Geen klant, autoriteit, trusted flagger, merkhouder of partner? Gebruik dan onderstaande link om melding te doen.