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 Computers in Swedish Society by

bigCover of the book Advanced Technologies for Future Transmission Grids by

bigCover of the book Logic Programming with Prolog by

bigCover of the book Unified Signal Theory by

bigCover of the book Context Management for Distributed and Dynamic Context-Aware Computing by

bigCover of the book MacLeod's Introduction to Medicine by

bigCover of the book Discontinuous-Fibre Reinforced Composites by

bigCover of the book Analysis and Control of Boolean Networks by

bigCover of the book Phenotypes and Genotypes by

bigCover of the book The Heart of Leonardo by

bigCover of the book A Practical Guide to Medicine and the Law by

bigCover of the book Beyond Deep Blue 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