ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings - Lecture Notes in Computer Science 2272 (Paperback)
  • ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings - Lecture Notes in Computer Science 2272 (Paperback)
zoom

ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings - Lecture Notes in Computer Science 2272 (Paperback)

(editor), (editor), (editor), (editor)
£81.00
Paperback 541 Pages / Published: 16/01/2002
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
These proceedings record the papers presented at the second International Conference of B and Z Users (ZB2002), held on 23-25 January 2002 in the city of Grenoble in the heart of the French Alps. This conference built on the success of the rst con- rence in this series, ZB2000, held at the University ofYork in the UK. The location of ZB2002 in Grenoble re ects the important work in the area of formal methods carried out at the Laboratoire Logiciels Systemes ' Reseaux ' within the Institut d'Informatique et Mathematiques ' Appliquees ' de Grenoble (LSR-IMAG), especially involving the B method. B and Z are two important formal methods that share a common conceptual o- gin; each are leading approaches applied in industry and academia for the speci cation and development (using formal re nement) of computer-based systems. At ZB2002 the B and Z communities were brought together to hold a second joint conference that simultaneously incorporated the 13th International Z User Meeting and the 4th Int- national Conference on the B method. Although organized logistically as an integral event, editorial control of the joint conference remained vested in two separate but c- perating program committees that respectively determined its B and Z content, but in a coordinated manner.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540431664
Number of pages: 541
Weight: 1690 g
Dimensions: 235 x 155 x 28 mm
Edition: 2002 ed.

You may also be interested in...

The Agile Samurai
Added to basket
Clean Code
Added to basket
£36.99
Paperback
Impact Mapping
Added to basket
£9.99
Paperback
User Story Mapping
Added to basket
£27.99
Paperback
The Mythical Man-Month
Added to basket
Peopleware
Added to basket
£33.49
Paperback
TestNG Beginner's Guide
Added to basket
Agile Product Management with Scrum
Added to basket
The Algorithm Design Manual
Added to basket
£55.07
Mixed media product
Coaching Agile Teams
Added to basket
Designing Data-Intensive Applications
Added to basket
Domain-Driven Design
Added to basket
£55.49
Hardback
Test Driven Development
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.