Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers - Lecture Notes in Computer Science - Germ N Vidal - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642322105 - October 20, 2012
In case cover and title do not match, the title is correct

Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers - Lecture Notes in Computer Science 2012 edition

Price
HK$ 399
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 21 - 27
Get notified about new Germ N Vidal releases
Add to your iMusic wish list

Not rated yet

This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011.


263 pages, 61 black & white illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released October 20, 2012
ISBN13 9783642322105
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 254
Dimensions 155 × 235 × 14 mm   ·   371 g
Language German  
Editor Vidal, German

More from the same publisher