Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers - Lecture Notes in Computer Science - K -k Lau - Bücher - Springer-Verlag Berlin and Heidelberg Gm - 9783540421276 - 1. Mai 2001
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers - Lecture Notes in Computer Science 2001 edition

K -k Lau

Preis
Fr. 58,99

Bestellware

Lieferdatum: ca. 5. - 17. Jun

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
Zu deiner iMusic Wunschliste hinzufügen

Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers - Lecture Notes in Computer Science 2001 edition

The ten papers presented in this volume have gone through two rounds of reviewing, selection and revision. The book is divided in topical sections on synthesis, transformation, analysis, specialization, and abstract interpretation.

188 pages, biography

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 1. Mai 2001
ISBN13 9783540421276
Verlag Springer-Verlag Berlin and Heidelberg Gm
Seitenanzahl 188
Maße 155 × 235 × 10 mm   ·   281 g
Sprache Deutsch  
Redakteur Lau, Kung-Kiu

Alle Titel von K -k Lau ansehen ( u. a. Taschenbuch )