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 Light-Based Therapies for Skin of Color by

bigCover of the book Proofs and Algorithms by

bigCover of the book Improving the Earthquake Resilience of Buildings by

bigCover of the book How to Observe the Sun Safely by

bigCover of the book Finite Element Method in Machining Processes by

bigCover of the book Belief Revision in Non-Classical Logics by

bigCover of the book Dermatopathology by

bigCover of the book Measure, Integral and Probability by

bigCover of the book Diagnostic Imaging of the Ear by

bigCover of the book Pediatric Critical Care Medicine by

bigCover of the book Biomedical Informatics by

bigCover of the book Case Studies in Chest Imaging 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