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 Brownian Motion, Martingales, and Stochastic Calculus by
bigCover of the book Citizens' Activism and Solidarity Movements by
bigCover of the book Why Greatness Cannot Be Planned by
bigCover of the book An Ecological Theory of Free Expression by
bigCover of the book Current Trends in Friction Stir Welding (FSW) and Friction Stir Spot Welding (FSSW) by
bigCover of the book Monotonicity Failures Afflicting Procedures for Electing a Single Candidate by
bigCover of the book Human-Computer Interaction. Interaction in Context by
bigCover of the book The Drava River by
bigCover of the book Artificial Neural Networks in Pattern Recognition by
bigCover of the book Italy’s Top Products in World Trade by
bigCover of the book Bio- and Nanosorbents from Natural Resources by
bigCover of the book Diet, Nutrition, and Fetal Programming by
bigCover of the book The Ethics of Policing and Imprisonment by
bigCover of the book Energy Efficient Smart Phones for 5G Networks by
bigCover of the book Basic Serological Testing 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