Abstract State Machines, Alloy, B, VDM, and Z
Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
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.
Specificaties
| ISBN/EAN | 9783642308840 |
| Auteur | John Derrick |
| Uitgever | Van Ditmar Boekenimport B.V. |
| Taal | Engels |
| Uitvoering | Paperback / gebrocheerd |
| Pagina's | 378 |
| Lengte | 241.0 mm |
| Breedte | 159.0 mm |