Zur Seitenansicht

Titelaufnahme

    Titel
    Logic-based program synthesis and transformation : 25th international symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015 : revised selected papers / Moreno Falaschi (ed.)
    HerausgeberFalaschi, Moreno
    KörperschaftLOPSTR <25., 2015, Siena>
    Erschienen[Cham] : Springer, 2015
    UmfangXVII, 383 Seiten : Illustrationen
    Serie
    Lecture notes in computer science ; 9527
    SchlagwörterLogische Programmierung / Programmsynthese / Programmtransformation / Programmverifikation / Formale Methode
    ISBN978-3-319-27435-5
    Links
    Nachweis
     hbz-Verbundkatalog
    Archiv METS (OAI-PMH)
    Download
    Inhalt
    Inhalt des Werkes