Zur Seitenansicht

Titelaufnahme

    Titel
    Logic-based program synthesis and transformation : 24th international symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014 ; revised selected papers / Maurizio Proietti ... (eds.)
    HerausgeberProietti, Maurizio
    KörperschaftLOPSTR <24., 2014, Canterbury>
    ErschienenCham [u.a.] : Springer, 2015
    UmfangXII, 331 S. : graph. Darst.
    Serie
    Lecture notes in computer science ; 8981
    SchlagwörterLogische Programmierung / Programmsynthese / Programmtransformation / Programmverifikation / Formale Methode / Kongress / canterbury <2014>
    ISBN978-3-319-17821-9
    Links
    Nachweis
     hbz-Verbundkatalog
    Archiv METS (OAI-PMH)
    Download
    Inhalt
    Inhalt des Werkes