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 ... further MRCP Part I by

bigCover of the book Stochastic Processes by

bigCover of the book Experience with Technology by

bigCover of the book Sketch-based Interfaces and Modeling by

bigCover of the book Recent Advances in Coloproctology by

bigCover of the book Essentials of Autopsy Practice by

bigCover of the book Systems Practice: How to Act by

bigCover of the book A Journey Through Cultures by

bigCover of the book Neurological Emergencies in Clinical Practice by

bigCover of the book Model-Based Development and Evolution of Information Systems by

bigCover of the book Rapid Manufacturing by

bigCover of the book Regulation of the Power Sector by

bigCover of the book Orthopedics of the Upper and Lower Limb by

bigCover of the book Movement Disorders in Dementias 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