Stock image for illustration purposes only - book cover, edition or condition may vary.
ZB 2005 - Formal Specification and Development in Z and B
. Ed(S): Treharne, Helen; King, Steve; Henson, Martin; Schneider, Steve
€ 128.88
FREE Delivery in Ireland
Description for ZB 2005 - Formal Specification and Development in Z and B
Paperback. Editor(s): Treharne, Helen; King, Steve; Henson, Martin; Schneider, Steve. Series: Lecture Notes in Computer Science. Num Pages: 512 pages, biography. BIC Classification: UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 1580.
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). ZB2005washeldattheUniversity of Surrey, Guildford, UK, hosted by the Department of Computing. The U- versity has ... Read more
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). ZB2005washeldattheUniversity of Surrey, Guildford, UK, hosted by the Department of Computing. The U- versity has ... Read more
Product Details
Format
Paperback
Publication date
2005
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
512
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
496
Place of Publication
Berlin, Germany
ISBN
9783540255598
SKU
V9783540255598
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for ZB 2005 - Formal Specification and Development in Z and B