Helen Treharne – författare
Visar alla böcker från författaren Helen Treharne. Handla med fri frakt och snabb leverans.
7 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, 2005
1126 kr
Lägg i varukorg
These proceedings record the papers presented at the 4th International Conf- ence of B and Z Users (ZB 2005), held in the city of Guildford in the south-east ofEngland. Thisconferencebuiltonthesuccessofthepreviousthreeconferences in this series, ZB 2000, held at the University of York in the UK, ZB …
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 Steve Schneider, Martin Henson m. fl.
E-bok, 2005
1502 kr
Lägg i varukorg
Integrated Formal Methods
9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Av John Derrick, Stefania Gnesi m. fl.
Häftad, 2012
566 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012. The 20 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 59 submissions. The papers cover …
Integrated Formal Methods
9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Av Helen Treharne, Diego Latella m. fl.
E-bok, 2012
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012. The 20 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 59 submissions. The papers cover …
