Tools and algorithms for the construction and analysis of systems
: 4th international conference ; proceedings / TACAS '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998. Bernhard Steffen (ed.). - Berlin : Springer, 1998. - XIII, 455 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1384)
ISBN 978-3-540-64356-2 / 3-540-64356-7 kart. : DM 98.00
Literaturangaben
Quelle: DNB
Tools and algorithms for the construction and analysis of systems
: 4th international conference ; proceedings / TACAS '98 ..., Lisbon, Portugal, March 28 - April 4, 1998. B. Steffen (ed.). - Berlin : Springer, 1998. - Online-Ressource - (Lecture notes in computer science; 1384)
ISBN 978-3-540-69753-4
Lizenzpflichtig
Quelle: DNB
Verification, model checking, and abstract interpretation
: 5th international conference ; proceedings / VMCAI 2004, Venice, January 11 - 13, 2004. Bernhard Steffen ; Giorgio Levi (ed.). - Berlin : Springer, 2004. - XI, 324 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2937)
ISBN 978-3-540-20803-7 / 3-540-20803-8 kart. : EUR 49.22 (freier Pr.), sfr 79.00
Literaturangaben
Quelle: DNB
Verification, model checking, and abstract interpretation
: 5th international conference ; proceedings / VMCAI 2004, Venice, January 11 - 13, 2004. Bernhard Steffen ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2937)
ISBN 978-3-540-24622-0
Lizenzpflichtig
Quelle: DNB
