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 Mapping Scientific Frontiers by

bigCover of the book A History of Endometriosis by

bigCover of the book International Operations Networks by

bigCover of the book Toxicants in Food Packaging and Household Plastics by

bigCover of the book Blood Pressure and Arterial Wall Mechanics in Cardiovascular Diseases by

bigCover of the book Engineering Asset Management 2011 by

bigCover of the book Pancreatic Disease by

bigCover of the book Integrating 3D Modeling, Photogrammetry and Design by

bigCover of the book Environmental Epigenetics by

bigCover of the book Advanced Mechanics in Robotic Systems by

bigCover of the book 3D Video and Its Applications by

bigCover of the book Foundations for Designing User-Centered Systems by

bigCover of the book Textbook of Neurointensive Care by

bigCover of the book Understanding Virtual Design Studios 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