Using Event-B for Critical Device Software Systems
by Neeraj Kumar Singh326 pages · English
As an Amazon Associate I earn from qualifying purchases.
Amazon opens a search, not a verified edition. Check format, price and availability there.
Book details
ArtPhilosophyTechnology
Catalogue length: 326 pages. Length can vary by edition.
Catalogue: Open Library OL19909158W; genres from Open Library subjects; summary generated from catalogue fields · Cover: Open Library Covers (display via covers.openlibrary.org; publisher artwork)