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 - Książki - Springer-Verlag Berlin and Heidelberg Gm - 9783540421276 - 1 maja 2001
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

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

Cena
zł 265,90

Zamówione z odległego magazynu

Przewidywana dostawa 24 - 30 kwi

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń iMusic

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

Media Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 1 maja 2001
ISBN13 9783540421276
Wydawcy Springer-Verlag Berlin and Heidelberg Gm
Strony 188
Wymiary 155 × 235 × 10 mm   ·   281 g
Język German  
Redaktor Lau, Kung-Kiu

Zobacz wszystko od K -k Lau ( np. Paperback Book )