Semantics and Algebraic Specification المزيد من الكتب المشابهة

Algebraic Methodology and Software Technology Algebraic Methodology and Software Technology
Algebraic Methodology and Software Technology
٢٠١١
Functional and Logic Programming Functional and Logic Programming
Functional and Logic Programming
٢٠١٠
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
٢٠٠٨
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
٢٠٠٩
Theoretical Aspects of Computing – ICTAC 2010 Theoretical Aspects of Computing – ICTAC 2010
Theoretical Aspects of Computing – ICTAC 2010
٢٠١٠
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
٢٠١١
Theorem Proving in Higher Order Logics Theorem Proving in Higher Order Logics
Theorem Proving in Higher Order Logics
٢٠٠٨
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
٢٠٢٢
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
٢٠٠٩
Rewriting Logic and Its Applications Rewriting Logic and Its Applications
Rewriting Logic and Its Applications
٢٠١٨
Functional and Logic Programming Functional and Logic Programming
Functional and Logic Programming
٢٠١٨
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
٢٠٢٢
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
٢٠٢٣
Theoretical Aspects of Computing – ICTAC 2016 Theoretical Aspects of Computing – ICTAC 2016
Theoretical Aspects of Computing – ICTAC 2016
٢٠١٦
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
٢٠٠٩