Andy Galloway - Böcker
Visar alla böcker från författaren Andy Galloway.
2 produkter
2 produkter
IFM’99
Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28–29 June 1999
Häftad, Engelska, 1999
1 419 kr
Skickas inom 10-15 vardagar
ZB 2000: Formal Specification and Development in Z and B
First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings
Häftad, Engelska, 2000
719 kr
Skickas inom 10-15 vardagar