Verification, model checking, and abstract interpretation
: 10th international conference ; proceedings / VMCAI 2009, Savannah, GA, USA, January 18 - 20, 2009. Neil D. Jones ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5403)
ISBN 978-3-540-93900-9
Lizenzpflichtig
Quelle: DNB
Verification, model checking, and abstract interpretation
: 8th international conference ; proceedings / VMCAI 2007 Nice, France, January 14 - 16, 2007. Byron Cook ; Andreas Podelski (ed.). - Berlin : Springer, 2007. - XI, 394 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4349)
ISBN 978-3-540-69735-0 / 3-540-69735-7 kart. : EUR 59.92 (freier Pr.), ca. sfr 99.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Verification of object oriented software
: the KeY approach / Bernhard Beckert ... (ed.). Foreword by K. Rustan M. Leino. - Berlin : Springer, 2007. - XXIX, 658 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4334 : Lecture notes in artificial intelligence)
ISBN 978-3-540-68977-5 / 3-540-68977-X kart. : EUR 70.62 (freier Pr.), sfr 117.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Verification of object oriented software
: the KeY approach / Bernhard Beckert ... (ed.) .... - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4334 : Lecture notes in artificial intelligence)
ISBN 978-3-540-69061-0
Lizenzpflichtig
Quelle: DNB
Verified software: theories, tools, experiments
: second international conference ; proceedings / VSTTE 2008, Toronto, Canada, October 6 - 9, 2008. Natarajan Shankar ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5295)
ISBN 978-3-540-87873-5
Lizenzpflichtig
Quelle: DNB
Verified software: theories, tools, experiments
: first IFIP TC 2/WG 2.3 conference ; revised selected papers and discussions / VSTTE 2005, Zurich, Switzerland, October 10 - 13, 2005. Bertrand Meyer ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 4171)
ISBN 978-3-540-69149-5
Lizenzpflichtig
Quelle: DNB
Verifikation und Validierung für die Simulation in Produktion und Logistik
: Vorgehensmodelle und Techniken / Markus Rabe .... - Berlin : Springer, 2008. - Online-Ressource
ISBN 978-3-540-35282-2
Lizenzpflichtig
Quelle: DNB
Verifying treaty compliance
: limiting weapons of mass destruction and monitoring Kyoto protocol provisions / Rudolf Avenhaus ... (ed.). - Berlin : Springer, 2006. - XIV, 629 S. : Ill., graph. Darst., Kt.; 24 cm
ISBN 978-3-540-33853-6 / 3-540-33853-5 Pp. : EUR 149.75 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Herminghaus, Volker: Veritas storage foundation
: high end computing für UNIX Design und Implementation von Hochverfügbarkeitslösungen mit VxVM und VCS / Volker Herminghaus ; Albrecht Scriba. - Berlin : Springer, 2006. - XVIII, 279 S. : Ill., graph. Darst.; 24 cm - (X.systems.press)
ISBN 978-3-540-34610-4 / 3-540-34610-4 Pp. : EUR 99.00
Quelle: DNB Verlagsmeldungen
Verkehrsleittechnik
: Automatisierung des Straßen- und Schienenverkehrs ; mit 45 Tabellen / Eckehard Schnieder (Hrsg.). Mit Beitr. von Uwe Becker .... - Berlin : Springer, 2007. - XX, 505 S. : Ill., graph. Darst.; 24 cm - (VDI)
ISBN 978-3-540-48296-3 / 3-540-48296-2 Pp. : EUR 99.95, sfr 132.00
Literaturverz. S. 471 - 488
Quelle: DNB
