Theories of Programming Languages المزيد من الكتب المشابهة

Practical Foundations for Programming Languages

٢٠١٢

Semantics and Algebraic Specification

٢٠٠٩

Functional and Logic Programming

٢٠١٠

Functional and Logic Programming

٢٠٠٨

Types and Programming Languages

٢٠٠٢

Theorem Proving in Higher Order Logics

٢٠٠٧

Rigorous Software Development

٢٠١١

Types for Proofs and Programs

٢٠٠٧

Theorem Proving in Higher Order Logics

٢٠٠٨

Automated Deduction – CADE-21

٢٠٠٧

Automated Reasoning

٢٠٠٨

Logic-Based Program Synthesis and Transformation

٢٠٠٨

Programming Languages and Systems

٢٠١١

Interactive Theorem Proving

٢٠١٠

Logic-Based Program Synthesis and Transformation

٢٠٢٢