Zur Seitenansicht

Titelaufnahme

    Titel
    Formal methods and software engineering : 17th international conference on formal engineering methods, ICFEM 2015, Paris, France, November 3-5, 2015 : proceedings / Michael Butler, Sylvain Conchon, Fatiha Zaïdi (eds.)
    HerausgeberButler, Michael ; Conchon, Sylvain ; Zaidi, Fatiha
    KörperschaftICFEM <17., 2015, Paris>
    ErschienenCham : Springer, 2015
    UmfangXXV, 436 Seiten : Illustrationen
    Serie
    Lecture notes in computer science ; 9407
    SchlagwörterSoftwareentwicklung / Verifikation / Formale Methode
    ISBN978-3-319-25422-7
    Links
    Nachweis
     hbz-Verbundkatalog
    Archiv METS (OAI-PMH)
    Download
    Inhalt
    Inhalt des Werkes