Verified Software: Theories, Tools, Experiments
First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
This state-of-the-art survey is an outcome of the first IFIP TC 2/WG 2.3 working conference on Verified Software: Theories, Tools, Experiments, VSTTE 2005, held in Zurich, Switzerland, in October 2005. This was a historic event gathering many top international experts on systematic methods for specifying, building and verifying high-quality software.The book includes 32 revised full papers and 27 revised position papers, preceded by a general introduction to the area, which also presents the vision of a grand challenge project: the verifying compiler. Most contributions are followed by a transcription of the vivid discussion that ensued betwe…
Mehr
CHF 150.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V113:
Lieferbar in ca. 20-45 Arbeitstagen
Produktdetails
Weitere Autoren: Woodcock, Jim (Hrsg.)
- ISBN: 978-3-540-69147-1
- EAN: 9783540691471
- Produktnummer: 3807508
- Verlag: Springer Nature EN
- Sprache: Englisch
- Erscheinungsjahr: 2008
- Seitenangabe: 546 S.
- Masse: H23.5 cm x B15.5 cm 866 g
- Reihenbandnummer: 4171
- Gewicht: 866
34 weitere Werke von Bertrand (Hrsg.) Meyer:
Bewertungen
Anmelden