Zur Seitenansicht
 

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.)
HerausgeberFitzgerald, John In der Gemeinsamen Normdatei der DNB nachschlagen In Wikipedia suchen nach John Fitzgerald ; Heitmeyer, Constance In der Gemeinsamen Normdatei der DNB nachschlagen In Wikipedia suchen nach Constance Heitmeyer ; Gnesi, Stefania In der Gemeinsamen Normdatei der DNB nachschlagen In Wikipedia suchen nach Stefania Gnesi ; Philippou, Anna In der Gemeinsamen Normdatei der DNB nachschlagen In Wikipedia suchen nach Anna Philippou
KörperschaftFM <21., 2016, Limassol> In der Gemeinsamen Normdatei der DNB nachschlagen In Wikipedia suchen nach FM
ErschienenCham : Springer, 2016
UmfangXXIII, 789 Seiten : Illustrationen, Diagramme
SerieLecture notes in computer science ; 9995
SchlagwörterFormale Methode In Wikipedia suchen nach Formale Methode
ISBN978-3-319-48988-9
Links
Download FM 2016 Formal methods [1,14 mb]
Nachweis
Verfügbarkeit In meiner Bibliothek
Archiv METS (OAI-PMH)