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 In der Gemeinsamen Normdatei der DNB nachschlagen In Wikipedia suchen nach Moreno Falaschi
KörperschaftLOPSTR <25., 2015, Siena> In der Gemeinsamen Normdatei der DNB nachschlagen In Wikipedia suchen nach LOPSTR
Erschienen[Cham] : Springer, 2015
UmfangXVII, 383 Seiten : Illustrationen
SerieLecture notes in computer science ; 9527
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
ISBN978-3-319-27435-5
Links
Download Logic-based program synthesis and transformation [0,50 mb]
Nachweis
hbz-Verbundkatalog
Verfügbarkeit In meiner Bibliothek
Archiv METS (OAI-PMH)