Using Event-B for Critical Device Software Systems

Nonfiction, Science & Nature, Mathematics, Logic, Computers, Programming, Software Development, General Computing
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 Mine Safety 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 Toxic Trauma 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