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 In der Gemeinsamen Normdatei der DNB nachschlagen In Wikipedia suchen nach Maurizio Proietti
KörperschaftLOPSTR <24., 2014, Canterbury> In der Gemeinsamen Normdatei der DNB nachschlagen In Wikipedia suchen nach LOPSTR
ErschienenCham [u.a.] : Springer, 2015
UmfangXII, 331 S. : graph. Darst.
SerieLecture notes in computer science ; 8981
SchlagwörterLogische Programmierung In Wikipedia suchen nach Logische Programmierung / Programmsynthese In Wikipedia suchen nach Programmsynthese / Programmtransformation In Wikipedia suchen nach Programmtransformation / Programmverifikation In Wikipedia suchen nach Programmverifikation / Formale Methode In Wikipedia suchen nach Formale Methode / Kongress In Wikipedia suchen nach Kongress / canterbury <2014> In Wikipedia suchen nach canterbury 2014
ISBN978-3-319-17821-9
Links
Download Logic-based program synthesis and transformation [0,44 mb]
Nachweis
hbz-Verbundkatalog
Verfügbarkeit In meiner Bibliothek
Archiv METS (OAI-PMH)