Helen Treharne – författare

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

2 produkter

Kategorier

2 produkter

Helen Treharne, Steve King, Martin Henson, Steve Schneider - ZB 2005: Formal Specification and Development in Z and B, Häftad

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

AvHelen Treharne,Steve Kingm. fl.

Häftad, Engelska, 2005

1 439 kr

Skickas inom 10-15 vardagar

John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne - Integrated Formal Methods, Häftad

Integrated Formal Methods

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

AvJohn Derrick,Stefania Gnesim. fl.

Häftad, Engelska, 2012

729 kr

Skickas inom 10-15 vardagar