Suchfeld einblenden
Person Oliveira, José Nuno
2 Treffer
Seite < 1 >
Formal methods for increasing software productivity
: proceedings / FME 2001, International Symposium of Formal Methods Europe, Berlin, Germany, March 12 - 16, 2001. José Nuno Oliveira ; Pamela Zave (ed.). - Berlin : Springer, 2001. - XIII, 628 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2021)
ISBN 978-3-540-41791-0 / 3-540-41791-5 kart. : DM 134.00
Literaturangaben
Quelle: DNB
Formal methods for increasing software productivity
: proceedings / FME 2001, International Symposium of Formal Methods Europe, Berlin, Germany, March 12 - 16, 2001. J. N. Oliveira ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2021)
ISBN 978-3-540-45251-5
Lizenzpflichtig
Quelle: DNB
Seite < 1 >
