zum Inhalt
Schnellsuche:
Detailsuche
|
Home
|
Sammlung
|
Impressum
|
Titel
Inhalt
Übersicht
Seite
Im Dokument suchen
Software engineering and formal methods : 13th international conference, SEFM 2015, York, UK, September 7 - 11, 2015 ; proceedings / Radu Calinescu ... (eds.). Cham [u.a.] : Springer, 2015
Inhalt
Inhaltsverzeichnis