ISBNs for b computer program language congresses

ISBN.nu

search for books and compare prices

b computer program language congresses matches 4 work(s)

displaying 1 to 4 | at end

show results in order: alphabetically | oldest to newest | newest to oldest

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

Product Description: 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 2002, held at theLaboratoire Logiciels Syst` emes RÂ´ eseaux within theInstitut d'Informatique et MathÂ´ ematique AppliquÂ´ ees de Grenoble (LSR-IMAG) in Grenoble, France, and ? ZB 2003, held in Turku in Finland hosted by Abo Akademi University and the TurkuCentreforComputerScience(TUCS)...read more

By Martin Henson (editor), Steve King (editor), Steve Schneider (editor) and Helen Treharne (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540255598 | Springer Verlag, September 30, 2005, cover price $149.00 | About this edition: 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.

Zb 2003-Formal Specification and Development in Z and B: Formal Specification and Development in Z and B : Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003 : Proceedings

Product Description: The refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003. The 28 revised full papers presented together with 3 invited papers were carefully reviewed and selected for inclusion in the book...read more

By Didier Bert, Jonathan P. Bowen (editor), International Conference of B and Z Users (other contributor) and Steve King

See complete details on each edition (1 edition listed)

Paperback:

9783540402534 | Springer-Verlag New York Inc, August 1, 2003, cover price $149.00 | About this edition: The refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003.

Zb 2002: Formal Specification and Development in Z and B

By J. P. Bowen (editor), M. C. Henson (editor) and International Conference of B and Z Users (other contributor)

See complete details on each edition (1 edition listed)

Paperback:

9783540431664 | Springer Verlag, March 1, 2002, cover price $129.00

Zb 2000: Formal Specification and Development in Z and B

(view table of contents)

By Jonathan P. Bowen (editor), Steve Dunne (editor), Andy Galloway (editor) and Steve King (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540679448 | Springer Verlag, December 1, 2000, cover price $129.00

displaying 1 to 4 | at end