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 Laser Material Processing by

bigCover of the book Fuel Cells in the Waste-to-Energy Chain by

bigCover of the book Managing Common Interventional Radiology Complications by

bigCover of the book The Perception of Quality by

bigCover of the book Greening Airports by

bigCover of the book Strategies for Feedback Linearisation by

bigCover of the book Configuring User-Designer Relations by

bigCover of the book Structural Health Monitoring Using Genetic Fuzzy Systems by

bigCover of the book Minimally Invasive Forefoot Surgery in Clinical Practice by

bigCover of the book Neuro-Ophthalmology by

bigCover of the book The Elderly Patient by

bigCover of the book Manufacturing Process Design and Costing by

bigCover of the book Emergent Web Intelligence: Advanced Semantic Technologies by

bigCover of the book Solar Energy in the Winemaking Industry 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