zum Inhalt
Schnellsuche:
Detailsuche
|
Home
|
Sammlung
|
Impressum
|
Titel
Inhalt
Übersicht
Seite
Im Dokument suchen
Titelaufnahme
Titel
Software engineering and formal methods : 12th international conference, SEFM 2014 Grenoble, France, September 1 - 5, 2014 ; proceedings / Dimitra Giannakopoulou ... (eds.)
Herausgeber
Giannakopoulou, Dimitra
Körperschaft
SEFM <12., 2014, Grenoble>
Erschienen
Cham [u.a.] : Springer,
2014
Umfang
XXI, 394 S. : graph. Darst.
Serie
Lecture notes in computer science ; 8702
Schlagwörter
Software Engineering
/
Formale Methode
/
Requirements engineering
/
Anwendungssystem
/
Kongress
/
Grenoble <2014>
/
Programmverifikation
/
Programmanalyse
/
Model Checking
/
Softwaretest
/
Kongress
/
Grenoble <2014>
ISBN
978-3-319-10430-0
Links
Download
Software engineering and formal methods [0,76 mb]
Nachweis
hbz-Verbundkatalog
Verfügbarkeit
In meiner Bibliothek
Archiv
METS (OAI-PMH)
Inhalt
Inhalt des Werkes