Andy Galloway - Böcker

Visar alla böcker från författaren Andy Galloway.

2 produkter

Kategorier

2 produkter

IFM’99

Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28–29 June 1999

Av Keijiro Araki, Andy Galloway m. fl

Häftad, Engelska, 1999

1 439 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

Av Jonathan P. Bowen, Steve Dunne m. fl

Häftad, Engelska, 2000

729 kr

Skickas inom 10-15 vardagar