ZB 2003: Formal Specification and Development in Z and B

Released on by Didier Bert
preview-18

  • ZB 2003: Formal Specification and Development in Z and B Book Detail

  • Author : Didier Bert
  • Release Date : 2003-08-03
  • Publisher : Springer
  • Genre : Computers
  • Pages : 559
  • ISBN 13 : 3540448802
  • File Size : 14,14 MB
DOWNLOAD BOOK

ZB 2003: Formal Specification and Development in Z and B by Didier Bert PDF Summary

Book Description: 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.

Disclaimer: www.yourbookbest.com does not own ZB 2003: Formal Specification and Development in Z and B books pdf, neither created or scanned. We just provide the link that is already available on the internet, public domain and in Google Drive. If any way it violates the law or has any issues, then kindly mail us via contact us page to request the removal of the link.