search for books and compare prices
b langage de programmation congr es matches 1 work(s)
displaying 1 to 1 | 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
cover image for 9783540255598
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.

displaying 1 to 1 | at end