Media type: Book; Conference Proceedings Title: Logic-based program synthesis and transformation : 18th international symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 ; revised selected papers Contributor: Hanus, Michael [Hrsg.] Event: LOPSTR imprint: Berlin; Heidelberg [u.a.]: Springer, 2009 Published in: Lecture notes in computer science ; 5438 Extent: VIII, 184 S.; Ill; 235 mm x 155 mm Language: English ISBN: 3642005144; 9783642005145 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Logische Programmierung > Programmsynthese Logische Programmierung > Programmtransformation Softwareentwicklung > Komponente Testmustergenerierung > Constraint-logische Programmierung Funktionale Programmierung Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: R2016 8 10015 Item ID: 32299233 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order