Semantics with Applications: An Appetizer المزيد من الكتب المشابهة

Verification of Sequential and Concurrent Programs

٢٠٠٩

Logic and Language Models for Computer Science

٢٠١٧

The Correctness-by-Construction Approach to Programming

٢٠١٢

Logic in Computer Science

٢٠٠٤

Functional and Logic Programming

٢٠٠٨

Practical Foundations for Programming Languages

٢٠١٢

Mathematical Logic for Computer Science

٢٠١٢

Model Checking, second edition

٢٠١٨

Automated Deduction – CADE-21

٢٠٠٧

Automated Reasoning

٢٠١٠

An Introduction to Programming with Specifications (Enhanced Edition)

٢٠١٢

Rigorous Software Development

٢٠١١

Logic Programming and Nonmonotonic Reasoning

٢٠٠٧

Automated Reasoning

٢٠٠٨

Formal Methods in Computer Science

٢٠١٩