Suchfeld einblenden
Person Fitzgerald, John
2 Treffer
Seite < 1 >
Formal methods
: proceedings / FME 2003, International Symposium of Formal Methods Europe, Newcastle, UK, July 18 - 22, 2005. John Fitzgerald ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3582)
ISBN 978-3-540-31714-2
Lizenzpflichtig
Quelle: DNB
Industrial applications and strengthened foundations of formal methods
: proceedings / FME '97, 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15 - 19, 1997. John Fitzgerald ... (ed.). - Berlin : Springer, 1997. - XIII, 684 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1313)
ISBN 978-3-540-63533-8 / 3-540-63533-5 kart. : DM 130.00
Literaturangaben
Quelle: DNB
Seite < 1 >
