hintergrundbild
logo
logo
Suchfeld einblenden
ISBN / EAN
Nachname
Vorname
Titel
Reihe
Schlagwort
und   oder
Index
Verlag
Ersch.-Jahr
bis
Katalog
Rezensent
Person Romijn, Judi
1 Treffer
Seite < 1 >
Cover

Integrated formal methods

: 5th international conference ; proceedings / IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Judi Romijn ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3771)

ISBN 978-3-540-32240-5

Lizenzpflichtig

Quelle: DNB

Seite < 1 >
Projekte . Kooperationen
Advertorial