All About Maude - A High-Performance Logical Framework المزيد من الكتب المشابهة

Central European Functional Programming School

٢٠٠٨

Programming Languages and Systems

٢٠٠٩

Implementation and Application of Functional Languages

٢٠٠٧

Programming Languages and Systems

٢٠٠٨

Logic-Based Program Synthesis and Transformation

٢٠١٧

Programming Languages and Systems

٢٠١٥

Logic-Based Program Synthesis and Transformation

٢٠١٨

Programming Languages and Systems

٢٠١٠

Logic-Based Program Synthesis and Transformation

٢٠٠٨

Semantics and Algebraic Specification

٢٠٠٩

Programming Languages and Systems

٢٠١١

Functional and Logic Programming

٢٠١٨

Programming Languages and Systems

٢٠٠٩

Functional and Constraint Logic Programming

٢٠١٩

Logic-Based Program Synthesis and Transformation

٢٠٠٩