Introduction to Computation المزيد من الكتب المشابهة

Logic And Declarative Language

٢٠٠٤

An Introduction to Programming with Specifications (Enhanced Edition)

٢٠١٢

Verified Functional Programming in Agda

٢٠١٦

Central European Functional Programming School

٢٠٠٨

Theoretical Introduction to Programming

٢٠٠٥

Fundamentals of Logic and Computation

٢٠٢١

Functional and Logic Programming

٢٠٠٨

The Correctness-by-Construction Approach to Programming

٢٠١٢

Mathematics of Program Construction

٢٠٢٢

Fundamentals of the Theory of Computation

١٩٩٨

Practical Foundations for Programming Languages

٢٠١٢

Constructing Correct Software

٢٠٠٧

Introducing Software Verification with Dafny Language

٢٠٢٢

Mathematics of Program Construction

٢٠١٩

Machines, Computations, and Universality

٢٠١٨