Using Event-B for Critical Device Software Systems

by Peter Forrest

0 ratings • 0 reviews • 0 shelved
Book cover for Using Event-B for Critical Device Software Systems
Shelve It

Bookhype may earn a small commission from qualifying purchases. Full disclosure.

  • ISBN10 1979810389
  • ISBN13 9781979810388
  • Publish Date 3 May 2017
  • Publish Status Active
  • Imprint Createspace Independent Publishing Platform
  • Format Paperback (US Trade)
  • Pages 334
  • Language English