Refinement in Z and Object-Z المزيد من الكتب المشابهة

Logics of Specification Languages Logics of Specification Languages
Logics of Specification Languages
٢٠٠٧
Logic, Rewriting, and Concurrency Logic, Rewriting, and Concurrency
Logic, Rewriting, and Concurrency
٢٠١٥
Provably Correct Systems Provably Correct Systems
Provably Correct Systems
٢٠١٧
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
٢٠١٦
Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
٢٠١٥
Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
٢٠١٨
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
٢٠١٨
From Lambda Calculus to Cybersecurity Through Program Analysis From Lambda Calculus to Cybersecurity Through Program Analysis
From Lambda Calculus to Cybersecurity Through Program Analysis
٢٠٢٠
Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
٢٠١٦
Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
٢٠١٧
Automated Reasoning Automated Reasoning
Automated Reasoning
٢٠١٦
Languages: From Formal to Natural Languages: From Formal to Natural
Languages: From Formal to Natural
٢٠٠٩
Automated Reasoning Automated Reasoning
Automated Reasoning
٢٠١٨
Foundations of Information and Knowledge Systems Foundations of Information and Knowledge Systems
Foundations of Information and Knowledge Systems
٢٠٢٠
Logic, Language, and Security Logic, Language, and Security
Logic, Language, and Security
٢٠٢٠