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 Noninvasive Vascular Diagnosis by

bigCover of the book Oxalate Metabolism in Relation to Urinary Stone by

bigCover of the book Computational Models for Neuroscience by

bigCover of the book Transformation Electromagnetics and Metamaterials by

bigCover of the book Dementia in Clinical Practice: A Neurological Perspective by

bigCover of the book Management of Hematological Cancer in Older People by

bigCover of the book Computational Intelligence by

bigCover of the book Control and Instrumentation for Wastewater Treatment Plants by

bigCover of the book Biomechanics of the Gastrointestinal Tract by

bigCover of the book Physical Multiscale Modeling and Numerical Simulation of Electrochemical Devices for Energy Conversion and Storage by

bigCover of the book Atrial Fibrillation Therapy by

bigCover of the book Atomic Information Technology by

bigCover of the book Clinical Research Informatics 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