Mathematics of Program Construction المزيد من الكتب المشابهة

Functional and Logic Programming

٢٠١٠

Programming Languages and Systems

٢٠٢٢

Mathematics of Program Construction

٢٠١٩

Algebraic Methodology and Software Technology

٢٠١١

Functional and Logic Programming

٢٠٢٢

Mathematics of Program Construction

٢٠١٥

Recent Trends in Algebraic Development Techniques

٢٠٢١

Semantics and Algebraic Specification

٢٠٠٩

Programming Languages and Systems

٢٠٢٣

Theorem Proving in Higher Order Logics

٢٠٠٨

Functional and Logic Programming

٢٠١٨

Programming Languages and Systems

٢٠٠٩

Logic-Based Program Synthesis and Transformation

٢٠٢٢

Functional and Logic Programming

٢٠١٦

Programming Languages and Systems

٢٠١١