Computer aided verification
: 16th international conference ; proceedings / CAV 2004, Boston, MA, USA, July 13 - 17, 2004. Rajeev Alur ; Doron A. Peled (ed.). - Berlin : Springer, 2004. - XII, 536 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3114)
ISBN 978-3-540-22342-9 / 3-540-22342-8 kart. : EUR 68.48 (freier Pr.), sfr 113.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Computer aided verification
: 8th international conference ; proceedings / CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Rajeev Alur ; Thomas A. Henzinger (ed.). - Berlin : Springer, 1996. - XII, 472 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1102)
ISBN 978-3-540-61474-6 / 3-540-61474-5 kart. : DM 94.00
Literaturangaben
Quelle: DNB
Embedded software
: third international conference ; proceedings / EMSOFT 2003, Philadelphia, PA, USA, October 13 - 15, 2003. Rajeev Alur ; Insup Lee (ed.). - Berlin : Springer, 2003. - X, 372 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2855)
ISBN 978-3-540-20223-3 / 3-540-20223-4 kart. : EUR 53.50 (freier Pr.), sfr 86.00
Literaturangaben
Quelle: DNB
Embedded software
: third international conference ; proceedings / EMSOFT 2003, Philadelphia, PA, USA, October 13 - 15, 2003. Vol. ed. Rajeev Alur .... - Berlin : Springer, 2003. - Online-Ressource - ([Lecture notes in computer science]; [2855])
ISBN 978-3-540-45212-6
Lizenzpflichtig
Quelle: DNB
Hybrid systems
: computation and control ; 7th international workshop ; proceedings / HSCC 2004, Philadelphia, PA, USA, March 25 - 27, 2004. Rajeev Alur ... (ed.). - Berlin : Springer, 2004. - Online-Ressource - (Lecture notes in computer science; 2993)
ISBN 978-3-540-24743-2
Lizenzpflichtig
Quelle: DNB
Hybrid systems
: computation and control ; 7th international workshop ; proceedings / HSCC 2004, Philadelphia, PA, USA, March 25 - 27, 2004. Rajeev Alur ; George J. Pappas (ed.). - Berlin : Springer, 2004. - XII, 674 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2993)
ISBN 978-3-540-21259-1 / 3-540-21259-0 kart. : EUR 81.32, sfr 128.50
Literaturangaben
Quelle: DNB Verlagsmeldungen
