Zum Inhalt springen Oliveira, José Nuno [HerausgeberIn] ; FME 10 2001 Berlin FME 2001 : Formal methods for increasing software productivity : International Symposium of Formal Methods Europe, Berlin, Germany, March 12 - 16, 2001 ; proceedings Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2001 Erschienen in: Lecture notes in computer science ; 2021
Oliveira, José Nuno [HerausgeberIn] ; FME 10 2001 Berlin FME 2001 : Formal methods for increasing software productivity : International Symposium of Formal Methods Europe, Berlin, Germany, March 12 - 16, 2001 ; proceedings Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2001 Erschienen in: Lecture notes in computer science ; 2021
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Verfügbarkeit Skip to next facet Magazinbestellung (1) Wert ausschließen zeige weitere weniger zeigen
> Standort Skip to next facet Bereichsbibliothek DrePunct (1) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution Skip to next facet FME 10 2001 Berlin (1) Wert ausschließen Oliveira, José Nuno (1) Wert ausschließen zeige weitere weniger zeigen