Program Proofs المزيد من الكتب المشابهة

ML for the Working Programmer ML for the Working Programmer
ML for the Working Programmer
١٩٩٦
Central European Functional Programming School Central European Functional Programming School
Central European Functional Programming School
٢٠٠٨
Thinking Functionally with Haskell Thinking Functionally with Haskell
Thinking Functionally with Haskell
٢٠١٤
Paradigms of Artificial Intelligence Programming Paradigms of Artificial Intelligence Programming
Paradigms of Artificial Intelligence Programming
٢٠١٤
Introduction to Computation Introduction to Computation
Introduction to Computation
٢٠٢٢
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
٢٠١٧
Implementation and Application of Functional Languages Implementation and Application of Functional Languages
Implementation and Application of Functional Languages
٢٠٠٧
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
٢٠١٠
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
٢٠١٦
Trends in Functional Programming Trends in Functional Programming
Trends in Functional Programming
٢٠١٩
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
٢٠١٨
Haskell Haskell
Haskell
٢٠١٤
Essentials of Programming Languages, third edition Essentials of Programming Languages, third edition
Essentials of Programming Languages, third edition
٢٠٠٨
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
٢٠١٥
Practical Aspects of Declarative Languages Practical Aspects of Declarative Languages
Practical Aspects of Declarative Languages
٢٠١٧