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 Lee's Ophthalmic Histopathology by

bigCover of the book 3-D Atlas of Stars and Galaxies by

bigCover of the book Clinical Cardiac Electrophysiology in Clinical Practice by

bigCover of the book Nonlinear Power Flow Control Design by

bigCover of the book Scientific Data Analysis using Jython Scripting and Java by

bigCover of the book Stability and Stabilization of Linear Systems with Saturating Actuators by

bigCover of the book Pathology of Bone by

bigCover of the book Recent Trends in the Condition Monitoring of Transformers by

bigCover of the book Atlas of Pediatric Cardiac Surgery by

bigCover of the book Trauma Management in Orthopedics by

bigCover of the book Anticancer Genes by

bigCover of the book Informatics and Management Science VI by

bigCover of the book Tips and Tricks in Endocrine Surgery by

bigCover of the book Euclidean Shortest Paths 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