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 ; Heitmeyer, Constance ; Gnesi, Stefania ; Philippou, Anna
    KörperschaftFM <21., 2016, Limassol>
    ErschienenCham : Springer, 2016
    UmfangXXIII, 789 Seiten : Illustrationen, Diagramme
    Serie
    Lecture notes in computer science ; 9995
    SchlagwörterFormale Methode
    ISBN978-3-319-48988-9
    Links
    Nachweis
     hbz-Verbundkatalog
    Archiv METS (OAI-PMH)
    Download
    Inhalt
    Inhalt des Werkes