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 Case Based Echocardiography by

bigCover of the book Software Reliability Assessment with OR Applications by

bigCover of the book Researching Learning in Virtual Worlds by

bigCover of the book Elementary Logic by

bigCover of the book Regulation of the Power Sector by

bigCover of the book Pancreatic Disease by

bigCover of the book Regional Analgesia in Obstetrics by

bigCover of the book Multimodal Usability by

bigCover of the book Rheumatology in Practice by

bigCover of the book Modeling in Systems Biology by

bigCover of the book Sensory Disorders of the Bladder and Urethra by

bigCover of the book An Introduction to Object Recognition by

bigCover of the book Ear, Nose and Throat Disease by

bigCover of the book Trichloroethylene: Toxicity and Health Risks 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