Automatic Methods for the Refinement of System Models

From the Specification to the Implementation

Nonfiction, Science & Nature, Technology, Electronics, Circuits, Computers, Advanced Computing, Engineering, Computer Architecture

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

Big bigCover of Automatic Methods for the Refinement of System Models

More books from Springer International Publishing

bigCover of the book Tensor Network States and Effective Particles for Low-Dimensional Quantum Spin Systems by

bigCover of the book Neural Advances in Processing Nonlinear Dynamic Signals by

bigCover of the book Lifestyle Medicine by

bigCover of the book Knowledge Engineering and Knowledge Management by

bigCover of the book Plant Nanotechnology by

bigCover of the book Scientific Computing by

bigCover of the book Natural Disasters and Individual Behaviour in Developing Countries by

bigCover of the book Conscious Coastal Cities by

bigCover of the book Religious Cognition in China by

bigCover of the book Software Technologies by

bigCover of the book Rigid Geometry of Curves and Their Jacobians by

bigCover of the book Hyper-Velocity Impacts on Rubble Pile Asteroids by

bigCover of the book Infinite Regress Arguments by

bigCover of the book Advances in Cryptology – ASIACRYPT 2018 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