Helen Treharne - Böcker

Visar alla böcker från författaren Helen Treharne.

2 produkter

Kategorier

2 produkter

ZB 2005: Formal Specification and Development in Z and B

4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings

Av Helen Treharne, Steve King m. fl

Häftad, Engelska, 2005

1 459 kr

Skickas inom 10-15 vardagar

Integrated Formal Methods

9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Av John Derrick, Stefania Gnesi m. fl

Häftad, Engelska, 2012

739 kr

Skickas inom 10-15 vardagar