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 2012 edition
John Derrick
Price
A$ 97.49
Ordered from remote warehouse
Expected delivery Oct 15 - 29
Our customers say:
Add to your iMusic wish list
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
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 |
![Cover for John Derrick · Refinement: Semantics, Languages and Applications (Hardcover Book) [1st ed. 2018 edition] (2018)](https://imusic.b-cdn.net/images/item/original/091/9783319927091.jpg?john-derrick-2018-refinement-semantics-languages-and-applications-hardcover-book&class=scaled&v=1541590630)
![Cover for John Derrick · Refinement in Z and Object-Z: Foundations and Advanced Applications (Paperback Book) [Softcover reprint of the original 2nd ed. 2014 edition] (2015)](https://imusic.b-cdn.net/images/item/original/677/9781447161677.jpg?john-derrick-2015-refinement-in-z-and-object-z-foundations-and-advanced-applications-paperback-book&class=scaled&v=1556165679)
![Cover for John Derrick · Refinement in Z and Object-Z: Foundations and Advanced Applications (Hardcover Book) [2nd ed. 2014 edition] (2013)](https://imusic.b-cdn.net/images/item/original/542/9781447153542.jpg?john-derrick-2013-refinement-in-z-and-object-z-foundations-and-advanced-applications-hardcover-book&class=scaled&v=1411063625)
![Cover for John Derrick · Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2007 edition] (2007)](https://imusic.b-cdn.net/images/item/original/955/9783540731955.jpg?john-derrick-2007-formal-techniques-for-networked-and-distributed-systems-forte-2007-27th-ifip-wg-6-1-international-conference-tallinn-estonia-june-27-29-2007-proceedings-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1529397972)