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 Machining of Complex Sculptured Surfaces by

bigCover of the book Awareness Systems by

bigCover of the book Pediatric Critical Care Medicine by

bigCover of the book Case Studies in Diagnostic Imaging by

bigCover of the book An Introduction to Network Programming with Java by

bigCover of the book The Elderly Patient by

bigCover of the book Hybrid Hydrogen Systems by

bigCover of the book Future Interaction Design II by

bigCover of the book International Yearbook of Nephrology 1993 by

bigCover of the book Gynaecological Oncology by

bigCover of the book Treatment of Multiple Sclerosis by

bigCover of the book …more MRCP Part 1 by

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

bigCover of the book The ELFNET Book on Failure Mechanisms, Testing Methods, and Quality Issues of Lead-Free Solder Interconnects 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