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 2010
٢٠١٠
Logic-Based Program Synthesis and Transformation
٢٠٠٨
Functional and Logic Programming
٢٠١٠
Logic-Based Program Synthesis and Transformation
٢٠٠٩
Algebraic Methodology and Software Technology
٢٠١١
Programming Languages and Systems
٢٠٢٠
Programming Languages and Systems
٢٠٠٨
Programming Languages and Systems
٢٠٢١
Logic-Based Program Synthesis and Transformation
٢٠٢٢
Theorem Proving in Higher Order Logics
٢٠٠٨
Verification, Model Checking, and Abstract Interpretation
٢٠١١