Zur Seitenansicht

Titelaufnahme

    Titel
    Software engineering and formal methods : 13th international conference, SEFM 2015, York, UK, September 7 - 11, 2015 ; proceedings / Radu Calinescu ... (eds.)
    HerausgeberCalinescu, Radu C.
    KörperschaftSEFM <13., 2015, York>
    ErschienenCham [u.a.] : Springer, 2015
    UmfangXI, 368 S. : Ill., graph. Darst.
    Serie
    Lecture notes in computer science ; 9276
    SchlagwörterSoftware Engineering / Formale Methode / Anwendungssystem / Kongress / York <2015> / Programmverifikation / Softwarespezifikation / Model Checking / Softwaretest / Programmanalyse / Kongress / York <2015>
    ISBN978-3-319-22968-3
    Links
    Nachweis
     hbz-Verbundkatalog
    Archiv METS (OAI-PMH)
    Download
    Inhalt
    Inhalt des Werkes