zum Inhalt
Schnellsuche:
Detailsuche
|
Home
|
Sammlung
|
Impressum
|
Titel
Inhalt
Übersicht
Seite
Im Dokument suchen
Software engineering and formal methods : 12th international conference, SEFM 2014 Grenoble, France, September 1 - 5, 2014 ; proceedings / Dimitra Giannakopoulou ... (eds.). Cham [u.a.] : Springer, 2014
Inhalt
Inhaltsverzeichnis