zum Inhalt
Schnellsuche:
Detailsuche
|
Home
|
Sammlung
|
Impressum
|
Titel
Inhalt
Übersicht
Seite
Im Dokument suchen
Titelaufnahme
Titel
Software engineering and formal methods : 14th international conference, SEFM 2016, held as part of STAF 2016, Vienna, Austria, July 4-8, 2016 : proceedings / Rocco DeNicola, Eva Kühn (eds.)
Herausgeber
De Nicola, Rocco
;
Kühn, Eva
Körperschaft
SEFM <14., 2016, Wien>
;
STAF <2016, Wien>
Erschienen
[Cham] : Springer,
2016
Umfang
XV, 417 Seiten
: Diagramme
Serie
Lecture notes in computer science ; 9763
Schlagwörter
Informatik
/
Software Engineering
/
Logischer Entwurf
/
Programmiersprache
ISBN
978-3-319-41590-1
Links
Download
Software engineering and formal methods [0,57 mb]
Nachweis
hbz-Verbundkatalog
Verfügbarkeit
In meiner Bibliothek
Archiv
METS (OAI-PMH)
Inhalt
Inhalt des Werkes