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 Introduction to Computational Social Science by

bigCover of the book Advanced Histopathology by

bigCover of the book Mobile Persuasion Design by

bigCover of the book Arithmetic Tales by

bigCover of the book A Brief History of Computing by

bigCover of the book Principles of Electronic Prescribing by

bigCover of the book Dynamic Structure of NREM Sleep by

bigCover of the book Computational Social Networks by

bigCover of the book Teleneurology by Internet and Telephone by

bigCover of the book Advanced Network Programming – Principles and Techniques by

bigCover of the book Medical Management of HIV and AIDS by

bigCover of the book Pervasive Mobile and Ambient Wireless Communications 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