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 Intelligent Computing Methodologies by
bigCover of the book The United Kingdom’s Defence After Brexit by
bigCover of the book Reviews of Physiology, Biochemistry and Pharmacology, Vol. 165 by
bigCover of the book Grand Challenge Problems in Technology-Enhanced Learning II: MOOCs and Beyond by
bigCover of the book The Physics of Thin Film Optical Spectra by
bigCover of the book International Perspectives on Engineering Education by
bigCover of the book Standpipe Systems for Fire Protection by
bigCover of the book An Economic Analysis of Intellectual Property Rights Infringement by
bigCover of the book Perspectives in Business Informatics Research by
bigCover of the book Education, Equity, Economy: Crafting a New Intersection by
bigCover of the book Laser Photodissociation and Spectroscopy of Mass-separated Biomolecular Ions by
bigCover of the book Agency at Work by
bigCover of the book Clinical Cases in Skin of Color by
bigCover of the book Democratic Transition and the Rise of Populist Majoritarianism by
bigCover of the book Development, Governance, and Real Property Tax in China 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