zum Inhalt
Schnellsuche:
Detailsuche
|
Home
|
Sammlung
|
Impressum
|
Titel
Inhalt
Übersicht
Seite
Im Dokument suchen
Titelaufnahme
Titel
Integrated formal methods : 11th international conference, IFM 2014, Bertinoro, Italy, September 9 - 11, 2014 ; proceedings / Elvira Albert ... (eds.)
Herausgeber
Albert, Elvira
Körperschaft
IFM <11., 2014, Bertinoro>
Erschienen
Cham [u.a.] : Springer,
2014
Umfang
XI, 390 S. : graph. Darst.
Serie
Lecture notes in computer science ; 8739
Schlagwörter
Softwareentwicklung
/
Formale Methode
/
Kongress
/
Bertinoro <2014>
/
Systementwicklung
/
Formale Methode
/
Kongress
/
Bertinoro <2014>
/
Formale Methode
/
Spezifikationssprache
/
Verifikation
/
Kongress
/
Bertinoro <2014>
ISBN
978-3-319-10180-4
Links
Download
Integrated formal methods [0,58 mb]
Nachweis
hbz-Verbundkatalog
Verfügbarkeit
In meiner Bibliothek
Archiv
METS (OAI-PMH)
Inhalt
Inhalt des Werkes