Refinement in Z and Object-Z 비슷한 책 더 보기

Logics of Specification Languages Logics of Specification Languages
Logics of Specification Languages
2007년
Logic, Rewriting, and Concurrency Logic, Rewriting, and Concurrency
Logic, Rewriting, and Concurrency
2015년
Provably Correct Systems Provably Correct Systems
Provably Correct Systems
2017년
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년
Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
2015년
Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
2018년
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년
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년
Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
2016년
Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
2017년
Automated Reasoning Automated Reasoning
Automated Reasoning
2016년
Languages: From Formal to Natural Languages: From Formal to Natural
Languages: From Formal to Natural
2009년
Automated Reasoning Automated Reasoning
Automated Reasoning
2018년
Foundations of Information and Knowledge Systems Foundations of Information and Knowledge Systems
Foundations of Information and Knowledge Systems
2020년
Logic, Language, and Security Logic, Language, and Security
Logic, Language, and Security
2020년