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
Abstract State Machines, Alloy, B, TLA, VDM, and Z
٢٠١٦
Rigorous State-Based Methods Rigorous State-Based Methods
Rigorous State-Based Methods
٢٠٢٠
Provably Correct Systems Provably Correct Systems
Provably Correct Systems
٢٠١٧
Logic, Rewriting, and Concurrency Logic, Rewriting, and Concurrency
Logic, Rewriting, and Concurrency
٢٠١٥
Refinement in Z and Object-Z Refinement in Z and Object-Z
Refinement in Z and Object-Z
٢٠١٣
Modeling and Verification of Real-time Systems Modeling and Verification of Real-time Systems
Modeling and Verification of Real-time Systems
٢٠١٣
Rules and Reasoning Rules and Reasoning
Rules and Reasoning
٢٠١٩
Intelligent Computer Graphics 2011 Intelligent Computer Graphics 2011
Intelligent Computer Graphics 2011
٢٠٠٨
Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
٢٠١٥
Logics of Specification Languages Logics of Specification Languages
Logics of Specification Languages
٢٠٠٧
Agent Technology from a Formal Perspective Agent Technology from a Formal Perspective
Agent Technology from a Formal Perspective
٢٠٠٦
Novel Insights in Agent-based Complex Automated Negotiation Novel Insights in Agent-based Complex Automated Negotiation
Novel Insights in Agent-based Complex Automated Negotiation
٢٠٠٩
Modern Formal Methods and Applications Modern Formal Methods and Applications
Modern Formal Methods and Applications
٢٠٠٦
Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
٢٠١٨
From Lambda Calculus to Cybersecurity Through Program Analysis From Lambda Calculus to Cybersecurity Through Program Analysis
From Lambda Calculus to Cybersecurity Through Program Analysis
٢٠٢٠