Using Event-B for Critical Device Software Systems

Nonfiction, Science & Nature, Mathematics, Logic, Computers, Programming, Software Development, General Computing

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

Big bigCover of Using Event-B for Critical Device Software Systems

More books from Springer London

bigCover of the book Evidence Synthesis in Healthcare by

bigCover of the book Ophthalmic Histopathology by

bigCover of the book Computer and Information Sciences II by

bigCover of the book Explaining Algorithms Using Metaphors by

bigCover of the book A Science of Operations by

bigCover of the book Social Media Modeling and Computing by

bigCover of the book Cardiac Imaging in Electrophysiology by

bigCover of the book Clinical Practice in Rheumatology by

bigCover of the book Semantic Models for Adaptive Interactive Systems by

bigCover of the book Stochastic Systems by

bigCover of the book Nursing Informatics by

bigCover of the book Guide to Wireless Ad Hoc Networks by

bigCover of the book Experience with Technology by

We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy