Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings - Theoretical Computer Science and General Issues - John Derrick - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642308840 - June 12, 2012
In case cover and title do not match, the title is correct

Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings - Theoretical Computer Science and General Issues 2012 edition

Price
$ 55.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 30 - Jul 6
Add to your iMusic wish list

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.


393 pages, 133 black & white illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released June 12, 2012
ISBN13 9783642308840
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 378
Dimensions 155 × 235 × 20 mm   ·   589 g
Language German  
Editor Derrick, John
Editor Fitzgerald, John
Editor Gnesi, Stefania
Editor Khurshid, Sarfraz
Editor Leuschel, Michael
Editor Reeves, Steve
Editor Riccobene, Elvinia

More by John Derrick

Show all

Mere med samme udgiver