Zur Seitenansicht

Titelaufnahme

    Titel
    Software engineering and formal methods : 12th international conference, SEFM 2014 Grenoble, France, September 1 - 5, 2014 ; proceedings / Dimitra Giannakopoulou ... (eds.)
    HerausgeberGiannakopoulou, Dimitra
    KörperschaftSEFM <12., 2014, Grenoble>
    ErschienenCham [u.a.] : Springer, 2014
    UmfangXXI, 394 S. : graph. Darst.
    Serie
    Lecture notes in computer science ; 8702
    SchlagwörterSoftware Engineering / Formale Methode / Requirements engineering / Anwendungssystem / Kongress / Grenoble <2014> / Programmverifikation / Programmanalyse / Model Checking / Softwaretest / Kongress / Grenoble <2014>
    ISBN978-3-319-10430-0
    Links
    Nachweis
     hbz-Verbundkatalog
    Archiv METS (OAI-PMH)
    Download
    Inhalt
    Inhalt des Werkes