Integrated formal methods
: 4th international conference ; proceedings / IFM 2004, Canterbury, UK, April 4 - 7, 2004. Eerke A. Boiten ... (ed.). - Berlin : Springer, 2004. - Online-Ressource - (Lecture notes in computer science; 2999)
ISBN 978-3-540-24756-2
Lizenzpflichtig
Quelle: DNB
Integrated formal methods
: 4th international conference ; proceedings / IFM 2004, Canterbury, UK, April 4 - 7, 2004. Eerke A. Boiten ... (ed.). - Berlin : Springer, 2004. - XI, 540 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2999)
ISBN 978-3-540-21377-2 / 3-540-21377-5 kart. : EUR 72.76
Literaturangaben
Quelle: DNB
Mathematics of program construction
: 6th international conference ; proceedings / MPC 2002, Dagstuhl Castle, Germany, July 8 - 10, 2002. E. A. Boiten ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2386)
ISBN 978-3-540-45442-7
Lizenzpflichtig
Quelle: DNB
Mathematics of program construction
: 6th international conference ; proceedings / MPC 2002, Dagstuhl Castle, Germany, July 8 - 10, 2002. Eerke A. Boiten ; Bernhard Möller (ed.). - Berlin : Springer, 2002. - X, 262 S.; 24 cm - (Lecture notes in computer science; Vol. 2386)
ISBN 978-3-540-43857-1 / 3-540-43857-2 kart. : EUR 42.80
Literaturangaben
Quelle: DNB
