zum Inhalt
Schnellsuche:
Detailsuche
|
Home
|
Sammlung
|
Impressum
|
Titel
Inhalt
Übersicht
Seite
Im Dokument suchen
Titelaufnahme
Titel
FM 2016: Formal methods : 21st international symposium, Limassol, Cyprus, November 9-11, 2016 : proceedings / John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou (eds.)
Herausgeber
Fitzgerald, John
;
Heitmeyer, Constance
;
Gnesi, Stefania
;
Philippou, Anna
Körperschaft
FM <21., 2016, Limassol>
Erschienen
Cham : Springer,
2016
Umfang
XXIII, 789 Seiten
: Illustrationen, Diagramme
Serie
Lecture notes in computer science ; 9995
Schlagwörter
Formale Methode
ISBN
978-3-319-48988-9
Links
Download
FM 2016 Formal methods [1,14 mb]
Nachweis
hbz-Verbundkatalog
Verfügbarkeit
In meiner Bibliothek
Archiv
METS (OAI-PMH)
Inhalt
Inhalt des Werkes