Zur Seitenansicht

Titelaufnahme

    Titel
    Software engineering and formal methods : 14th international conference, SEFM 2016, held as part of STAF 2016, Vienna, Austria, July 4-8, 2016 : proceedings / Rocco DeNicola, Eva Kühn (eds.)
    HerausgeberDe Nicola, Rocco ; Kühn, Eva
    KörperschaftSEFM <14., 2016, Wien>  ; STAF <2016, Wien>
    Erschienen[Cham] : Springer, 2016
    UmfangXV, 417 Seiten : Diagramme
    Serie
    Lecture notes in computer science ; 9763
    SchlagwörterInformatik / Software Engineering / Logischer Entwurf / Programmiersprache
    ISBN978-3-319-41590-1
    Links
    Nachweis
     hbz-Verbundkatalog
    Archiv METS (OAI-PMH)
    Download
    Inhalt
    Inhalt des Werkes