Andy Galloway – författare

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

2 produkter

1. 

   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, 1999

   1469 kr

   Lägg i varukorg

2. 

   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, 2000

   739 kr

   Lägg i varukorg