Eintrag weiter verarbeiten
Buchumschlag von 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
Verfügbar über lokaler Bestand

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

Gespeichert in:

Personen und Körperschaften: Meyer, Bertrand (HerausgeberIn), Woodcock, Jim (AusführendeR), VSTTE 1 2005 Zürich (Sonstige)
Titel: 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/ Bertrand Meyer; Jim Woodcock (eds.)
Medientyp: Buch Konferenzbericht
Sprache: Englisch
veröffentlicht:
Berlin, Heidelberg [u.a.] Springer 2008
Gesamtaufnahme: State-of-the-art survey
Lecture notes in computer science ; 4171
Schlagwörter:
Online-Ausg.: Verified Software: Theories, Tools, Experiments, Berlin, Heidelberg : Springer Berlin Heidelberg, 2008, Online-Ressource (digital)
Quelle: Verbunddaten SWB