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 Multiple Sclerosis by

bigCover of the book The Handbook of Graphene Electrochemistry by

bigCover of the book Classic Papers in Orthopaedics by

bigCover of the book Advances in Reconfigurable Mechanisms and Robots I by

bigCover of the book Vascular CT Angiography Manual by

bigCover of the book Nutritional Influences on Bone Health by

bigCover of the book Explorations in Quantum Computing by

bigCover of the book Informatics and Management Science II by

bigCover of the book Eco-efficient Construction and Building Materials by

bigCover of the book The Value of RFID by

bigCover of the book Radiology of the Post Surgical Abdomen by

bigCover of the book Practical Biometrics by

bigCover of the book Energy, Transport, & the Environment by

bigCover of the book Risk Measures and Attitudes 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