Zur Seitenansicht

Titelaufnahme

    Titel
    FM 2014: Formal methods : 19th international symposium, Singapore, May 12 - 16, 2014 ; proceedings / Cliff Jones ... (eds.)
    HerausgeberJones, Cliff B.
    KörperschaftFM <19, 2014, Singapur>
    ErschienenCham [u.a.] : Springer, 2014
    UmfangXVIII, 750 S. : graph. Darst.
    Serie
    Lecture notes in computer science ; 8442
    SchlagwörterFormale Methode / Kongress / Singapur <2014>
    ISBN978-3-319-06409-3
    Links
    Nachweis
     hbz-Verbundkatalog
    Archiv METS (OAI-PMH)
    Download
    Inhalt
    Inhalt des Werkes