Format:
VIII, 184 S. :
,
graph. Darst. ;
,
235 mm x 155 mm.
ISBN:
978-3-642-00514-5
,
3-642-00514-4
Series Statement:
Lecture Notes in Computer Science 5438
Note:
Logic-based program synthesis and transformation
Language:
English
Keywords:
Logische Programmierung
;
Programmsynthese
;
Logische Programmierung
;
Programmtransformation
;
Softwareentwicklung
;
Komponente
;
Testmustergenerierung
;
Constraint-logische Programmierung
;
Funktionale Programmierung
;
Konferenzschrift
;
Konferenzschrift
;
Kongress
;
Konferenzschrift
URL:
http://d-nb.info/992498643/04
Author information:
Hanus, Michael, 1959-
