zum Inhalt
Schnellsuche:
Detailsuche
|
Home
|
Sammlung
|
Impressum
|
Titel
Inhalt
Übersicht
Seite
Im Dokument suchen
Titelaufnahme
Titel
Software engineering and formal methods : 13th international conference, SEFM 2015, York, UK, September 7 - 11, 2015 ; proceedings / Radu Calinescu ... (eds.)
Herausgeber
Calinescu, Radu C.
Körperschaft
SEFM <13., 2015, York>
Erschienen
Cham [u.a.] : Springer,
2015
Umfang
XI, 368 S. : Ill., graph. Darst.
Serie
Lecture notes in computer science ; 9276
Schlagwörter
Software Engineering
/
Formale Methode
/
Anwendungssystem
/
Kongress
/
York <2015>
/
Programmverifikation
/
Softwarespezifikation
/
Model Checking
/
Softwaretest
/
Programmanalyse
/
Kongress
/
York <2015>
ISBN
978-3-319-22968-3
Links
Download
Software engineering and formal methods [0,61 mb]
Nachweis
hbz-Verbundkatalog
Verfügbarkeit
In meiner Bibliothek
Archiv
METS (OAI-PMH)
Inhalt
Inhalt des Werkes