Tell your friends about this item:
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 2012 edition
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
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 allMere med samme udgiver
See all of John Derrick ( e.g. Paperback Book and Hardcover Book )