Suchfeld einblenden
Person Eriksson, Lars-Henrik
2 Treffer
Seite < 1 >
Formal methods - getting IT right
: proceedings / FME 2002, International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22 - 24, 2002. Lars-Henrik Eriksson ; Peter Alexander Lindsay (ed.). - Berlin : Springer, 2002. - XI, 624 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2391)
ISBN 978-3-540-43928-8 / 3-540-43928-5 kart. : EUR 72.76
Literaturangaben
Quelle: DNB
Formal methods - getting IT right
: proceedings / FME 2002, International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22 - 24, 2002. L.-H. Eriksson ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2391)
ISBN 978-3-540-45614-8
Lizenzpflichtig
Quelle: DNB
Seite < 1 >
