Verification
: theory and practice ; essays dedicated to Zohar Manna on the occasion of his 64th birthday / Nachum Dershowitz (ed.). - Berlin : Springer, 2003. - XV, 782 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; 2772)
ISBN 978-3-540-21002-3 / 3-540-21002-4 kart. : EUR 83.46 (freier Pr.), sfr 132.00
Quelle: DNB Verlagsmeldungen
Verification
: theory and practice ; essays dedicated to Zohar Manna on the occasion of his 64th birthday / Nachum Dershowitz (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2772)
ISBN 978-3-540-39910-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