Logic Based Program Synthesis and Transformation - Cover

Logic Based Program Synthesis and Transformation - Illustrationen 1

Details

ISBN/EAN: 978-3-540-42127-6

Einband: kartoniertes Buch

Herausgeber:
Kung-Kiu Lau

Erschienen am:
01.05.2001

Sprache:
English

Umfang:
viii, 188 S.

Hersteller:
Springer Verlag GmbH
juergen.hartmann@springer.com
Tiergartenstr. 17
DE 69121 Heidelberg

Weitere Details arrow_forward_ios

Kung-Kiu Lau

Logic Based Program Synthesis and Transformation

Name: Logic Based Program Synthesis and Transformation von Kung-Kiu Lau (kartoniertes Buch)
Brand: Springer Verlag GmbH
SKU: 9783540421276
Price: 53.49 EUR
Availability: InStock

10th International Workshop, LOPSTR 2000 London, UK, July 24-28,2000 Selected Papers, Lecture Notes in Computer Science 2042

Springer Verlag GmbH

53,49 €

inkl. MwSt.

exkl. Versandkosten

Nachfragen

Zur Wunschliste hinzufügen

heart_plus

Details

Weitere Details

Logic Based Program Synthesis and Transformation

10th International Workshop, LOPSTR 2000 London, UK, July 24-28,2000 Selected Papers, Lecture Notes in Computer Science 2042

Mehr aus dieser Reihe

Andere Kunden kauften auch

Andere Artikel von "Kung-Kiu Lau"

Weitere Artikel aus der Kategorie "Informatik, EDV/Informatik"