Abstract State Machines, Alloy, B, TLA, VDM, and Z 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
Rigorous State-Based Methods Rigorous State-Based Methods
Rigorous State-Based Methods
2020
Provably Correct Systems Provably Correct Systems
Provably Correct Systems
2017
Logic, Rewriting, and Concurrency Logic, Rewriting, and Concurrency
Logic, Rewriting, and Concurrency
2015
Refinement in Z and Object-Z Refinement in Z and Object-Z
Refinement in Z and Object-Z
2013
Modeling and Verification of Real-time Systems Modeling and Verification of Real-time Systems
Modeling and Verification of Real-time Systems
2013
Rules and Reasoning Rules and Reasoning
Rules and Reasoning
2019
Intelligent Computer Graphics 2011 Intelligent Computer Graphics 2011
Intelligent Computer Graphics 2011
2008
Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
2015
Logics of Specification Languages Logics of Specification Languages
Logics of Specification Languages
2007
Agent Technology from a Formal Perspective Agent Technology from a Formal Perspective
Agent Technology from a Formal Perspective
2006
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
Modern Formal Methods and Applications Modern Formal Methods and Applications
Modern Formal Methods and Applications
2006
Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
2018
From Lambda Calculus to Cybersecurity Through Program Analysis From Lambda Calculus to Cybersecurity Through Program Analysis
From Lambda Calculus to Cybersecurity Through Program Analysis
2020