Rigorous State-Based Methods More Books Like This

Abstract State Machines, Alloy, B, TLA, VDM, and Z Abstract State Machines, Alloy, B, TLA, VDM, and Z
Abstract State Machines, Alloy, B, TLA, VDM, and Z
2016
Abstract State Machines, Alloy, B, TLA, VDM, and Z Abstract State Machines, Alloy, B, TLA, VDM, and Z
Abstract State Machines, Alloy, B, TLA, VDM, and Z
2018
Provably Correct Systems Provably Correct Systems
Provably Correct Systems
2017
Modeling and Verification of Real-time Systems Modeling and Verification of Real-time Systems
Modeling and Verification of Real-time Systems
2013
Novel Insights in Agent-based Complex Automated Negotiation Novel Insights in Agent-based Complex Automated Negotiation
Novel Insights in Agent-based Complex Automated Negotiation
2009
Intelligent Computer Graphics 2011 Intelligent Computer Graphics 2011
Intelligent Computer Graphics 2011
2008
Agent Technology from a Formal Perspective Agent Technology from a Formal Perspective
Agent Technology from a Formal Perspective
2006
Model Driven Engineering for Distributed Real-Time Embedded Systems 2009 Model Driven Engineering for Distributed Real-Time Embedded Systems 2009
Model Driven Engineering for Distributed Real-Time Embedded Systems 2009
2013
Modern Formal Methods and Applications Modern Formal Methods and Applications
Modern Formal Methods and Applications
2006
Parallel and Distributed Computational Intelligence Parallel and Distributed Computational Intelligence
Parallel and Distributed Computational Intelligence
2008
Refinement in Z and Object-Z Refinement in Z and Object-Z
Refinement in Z and Object-Z
2013
Logic, Rewriting, and Concurrency Logic, Rewriting, and Concurrency
Logic, Rewriting, and Concurrency
2015
Inductive Logic Programming Inductive Logic Programming
Inductive Logic Programming
2016
Artificial Intelligence in Theory and Practice II Artificial Intelligence in Theory and Practice II
Artificial Intelligence in Theory and Practice II
2010
Knowledge-Free and Learning-Based Methods in Intelligent Game Playing Knowledge-Free and Learning-Based Methods in Intelligent Game Playing
Knowledge-Free and Learning-Based Methods in Intelligent Game Playing
2008