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

AvKeijiro Araki,Andy Galloway m. fl.

Häftad, Engelska, 1999

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

AvJonathan P. Bowen,Steve Dunne m. fl.

Häftad, Engelska, 2000

719 kr

Skickas inom 10-15 vardagar