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
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년
Rigorous State-Based Methods Rigorous State-Based Methods
Rigorous State-Based Methods
2020년
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년
Modeling and Verification of Real-time Systems Modeling and Verification of Real-time Systems
Modeling and Verification of Real-time Systems
2013년
Application and Theory of Petri Nets and Concurrency Application and Theory of Petri Nets and Concurrency
Application and Theory of Petri Nets and Concurrency
2016년
Refinement in Z and Object-Z Refinement in Z and Object-Z
Refinement in Z and Object-Z
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년
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년
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년
Logic, Rewriting, and Concurrency Logic, Rewriting, and Concurrency
Logic, Rewriting, and Concurrency
2015년
Logical Modeling of Biological Systems Logical Modeling of Biological Systems
Logical Modeling of Biological Systems
2014년
Logics of Specification Languages Logics of Specification Languages
Logics of Specification Languages
2007년