Your Waterstones card is changing, introducing...
TELL ME MORE
ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings - Lecture Notes in Computer Science 2651 (Paperback)
  • ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings - Lecture Notes in Computer Science 2651 (Paperback)
zoom

ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings - Lecture Notes in Computer Science 2651 (Paperback)

(editor), (editor), (editor), (editor)
£94.50
Paperback 554 Pages / Published: 20/05/2003
  • We can order this

Usually despatched within 3 weeks

  • This item has been added to your basket

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. The book documents the recent advances for the Z formal specification notation and for the B method, spanning the full scope from foundational, theoretical, and methodological issues to advanced applications, tools, and case studies.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540402534
Number of pages: 554
Weight: 1740 g
Dimensions: 235 x 155 x 29 mm
Edition: 2003 ed.

You may also be interested in...

Clean Code
Added to basket
£36.99
Paperback
User Stories Applied
Added to basket
£40.99
Paperback
Impact Mapping
Added to basket
£9.99
Paperback
Agile Product Management with Scrum
Added to basket
Coaching Agile Teams
Added to basket
Peopleware
Added to basket
£32.99
Paperback
Test Driven Development
Added to basket
Git Pocket Guide
Added to basket
Domain-Driven Design
Added to basket
£55.99
Hardback
The Clean Coder
Added to basket
£32.99
Paperback
The Agile Samurai
Added to basket
Design Patterns
Added to basket
£43.99
Hardback

Reviews

Please sign in to write a review

Your review has been submitted successfully.