Get 40% off our selection of bestselling print books in Engineering through October 31st!

Lecture Notes in Computer Science

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

Editors: Bert, D., Bowen, J.P., Henson, M.C., Robinson, K. (Eds.)

Buy this book

eBook $99.00
price for USA in USD (gross)
  • ISBN 978-3-540-45648-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA in USD
  • ISBN 978-3-540-43166-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (27 chapters)

  • Theories, Implementations, and Transformations

    Hehner, Eric (et al.)

    Pages 1-21

  • Incremental Proof of the Producer/Consumer Property for the PCI Protocol

    Cansell, Dominique (et al.)

    Pages 22-41

  • Controlling Control Systems: An Application of Evolving Retrenchment

    Poppleton, Michael (et al.)

    Pages 42-61

  • Checking Z Data Refinements Using an Animation Tool

    Robinson, Neil J.

    Pages 62-81

  • Encoding Object-Z in Isabelle/HOL

    Smith, Graeme (et al.)

    Pages 82-99

Buy this book

eBook $99.00
price for USA in USD (gross)
  • ISBN 978-3-540-45648-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA in USD
  • ISBN 978-3-540-43166-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
ZB 2002: Formal Specification and Development in Z and B
Book Subtitle
2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings
Editors
  • Didier Bert
  • Jonathan P. Bowen
  • Martin C. Henson
  • Ken Robinson
Series Title
Lecture Notes in Computer Science
Series Volume
2272
Copyright
2002
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-45648-3
DOI
10.1007/3-540-45648-1
Softcover ISBN
978-3-540-43166-4
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XI, 541
Topics