25 years of model checking
: history, achievements, perspectives / Orna Grumberg ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; Vol. 5000)
ISBN 978-3-540-69850-0
Lizenzpflichtig
Quelle: DNB
25 years of model checking
: history, achievements, perspectives ; [Festschrift] / Orna Grumberg ; Helmut Veith (ed.). - Berlin : Springer, 2008. - VI, 230 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 5000)
ISBN 978-3-540-69849-4 kart. : EUR 26.70 (freier Pr.), sfr 41.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Computer aided verification
: 9th international conference ; proceedings / CAV '97, Haifa, Israel, June 22 - 25, 1997. Orna Grumberg (ed.). - Berlin : Springer, 1997. - XI, 486 S. : graph. Darst.; 23 cm - (Lecture notes in computer science; Vol. 1254)
ISBN 978-3-540-63166-8 / 3-540-63166-6 kart. : DM 98.00
Literaturangaben
Quelle: DNB
Tools and algorithms for the construction and analysis of systems
: 13th international conference ; proceedings / TACAS 2007 ... Orna Grumberg ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4424)
ISBN 978-3-540-71209-1
Lizenzpflichtig
Quelle: DNB
Tools and algorithms for the construction and analysis of systems
: 13th international conference ; proceedings / TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Orna Grumberg ; Michael Huth (ed.). - Berlin : Springer, 2007. - XX, 738 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4424)
ISBN 978-3-540-71208-4 / 3-540-71208-9 kart. : EUR 89.88 (freier Pr.), ca. sfr 138.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen