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

Computer Science: Questions and Answers

٢٠١٧

Introduction to Computation

٢٠٢٢

Constructing Correct Software

٢٠٠٧

Models of Computation

٢٠٠٩

Introduction to Computational Thinking

٢٠٢١

Mathematics in Computing

٢٠٢٠

An Introduction to Programming with Specifications (Enhanced Edition)

٢٠١٢

Central European Functional Programming School

٢٠٠٨

Machines, Computations, and Universality

٢٠١٨

The Correctness-by-Construction Approach to Programming

٢٠١٢

Implementation and Application of Functional Languages

٢٠٠٧

Logic And Declarative Language

٢٠٠٤

Concepts and Semantics of Programming Languages 1

٢٠٢١

Practical Aspects of Declarative Languages

٢٠١٧

Verified Functional Programming in Agda

٢٠١٦