Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Omschrijving
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.
Ik heb een vraag over het boek:
‘Abstract State Machines, Alloy, B, VDM, and Z - John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid’.
Vul het onderstaande formulier in.
We zullen zo spoedig mogelijk antwoorden.
