Media type: Book; Conference Proceedings Title: Logic-based program synthesis and transformation : 9th international workshop ; selected papers Contributor: Bossi, Annalisa [Hrsg.] Event: LOPSTR imprint: Berlin; Heidelberg; New York; Barcelona; Hong Kong; London; Milan; Paris; Singapore; Tokyo: Springer, 2000 Published in: Lecture notes in computer science ; 1817 Extent: VIII, 312 S.; graph. Darst Language: English ISBN: 3540676287 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Logische Programmierung > Programmsynthese Logische Programmierung > Programmtransformation Logische Programmierung > Programmverifikation Softwareentwicklung > B Logische Programmierung Origination: Footnote: Includes bibliographical references and index
Departmental Library DrePunct – stack Shelf-mark: R2016 8 4926 Item ID: 30444658 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order