Suchfeld einblenden
Person Araki, Keijiro
2 Treffer
Seite < 1 >
Formal methods
: proceedings / FME 2003, International Symposium of Formal Methods Europe, Pisa, Italy, September 8 - 14, 2003. Keijiro Araki ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2805)
ISBN 978-3-540-45236-2
Lizenzpflichtig
Quelle: DNB
Formal methods
: proceedings / FME 2003, International Symposium of Formal Methods Europe, Pisa, Italy, September 8 - 14, 2003. Keijiro Araki ... (ed.). - Berlin : Springer, 2003. - XVII, 942 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2805)
ISBN 978-3-540-40828-4 / 3-540-40828-2 kart. : EUR 98.44 (freier Pr.), sfr 153.00
Literaturangaben
Quelle: DNB
Seite < 1 >
