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
Big bigCover of Automatic Methods for the Refinement of System Models

More books from Springer International Publishing

bigCover of the book After-School Programs to Promote Positive Youth Development by
bigCover of the book Argument Evaluation and Evidence by
bigCover of the book Computational Aspects and Applications in Large-Scale Networks by
bigCover of the book Feeling Together and Caring with One Another by
bigCover of the book Comparative and Evolutionary Genomics of Angiosperm Trees by
bigCover of the book Advances in Applied Mathematics by
bigCover of the book Plant Biomechanics by
bigCover of the book The Invention of Time and Space by
bigCover of the book Real-Time Stability in Power Systems by
bigCover of the book Trauma and Migration by
bigCover of the book A Forward-Backward SDEs Approach to Pricing in Carbon Markets by
bigCover of the book Medical Science and Research by
bigCover of the book Encyclopaedia of Historical Metrology, Weights, and Measures by
bigCover of the book Research in History and Philosophy of Mathematics by
bigCover of the book Transgressive Humor of American Women Writers 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