search for books and compare prices
Michael Leuschel has written 2 work(s)
Search for other authors with the same name
displaying 1 to 2 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
cover image for 9783642308840
Product Description: This book constitutes the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012. The 20 full papers presented together with 2 invited talks and 13 short papers were carefully reviewed and selected from 59 submissions...read more
By Michael Leuschel (editor)

Paperback:

9783642308840, titled "Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012 Proceedings" | Springer-Verlag New York Inc, July 3, 2012, cover price $89.99 | About this edition: This book constitutes the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012.

cover image for 9783540404385
Product Description: The thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR 2002, held in Madrid, Spain in September 2002. The 15 revised full papers presented together with 7 abstracts were carefully selected during two rounds of reviewing and revision from 40 submissions...read more
By Michael Leuschel and Lopstr 200 (other contributor)

Paperback:

9783540404385 | Springer Verlag, June 1, 2003, cover price $99.00 | About this edition: The thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR 2002, held in Madrid, Spain in September 2002.

displaying 1 to 2 | at end