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 Robust Control of Robots by

bigCover of the book Observing the Moon by

bigCover of the book From Snapshots to Social Media - The Changing Picture of Domestic Photography by

bigCover of the book Data-driven Design of Fault Diagnosis and Fault-tolerant Control Systems by

bigCover of the book Stochastic Analysis of Offshore Steel Structures by

bigCover of the book Essential Oncology of the Lymphocyte by

bigCover of the book Video Text Detection by

bigCover of the book Principles of Cardiac Diagnosis and Treatment by

bigCover of the book Informatics Education in Healthcare by

bigCover of the book Paediatric Pathology by

bigCover of the book Strategic Planning Decisions in the High Tech Industry by

bigCover of the book Guillain-Barré Syndrome by

bigCover of the book Unsupervised Process Monitoring and Fault Diagnosis with Machine Learning Methods 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