Modern Formal Methods and Applications المزيد من الكتب المشابهة

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