Theoretical Aspects of Computing – ICTAC 2010 المزيد من الكتب المشابهة

Logic-Based Program Synthesis and Transformation

٢٠٠٨

Perspectives of Systems Informatics

٢٠١٠

Programming Languages and Systems

٢٠٠٩

FM 2011: Formal Methods

٢٠١١

Programming Languages and Systems

٢٠١١

Algebraic Methodology and Software Technology

٢٠١١

Programming Languages and Systems

٢٠١٠

Programming Languages and Systems

٢٠٠٩

Theoretical Aspects of Computing – ICTAC 2016

٢٠١٦

Logic-Based Program Synthesis and Transformation

٢٠١٨

Formal Methods: Foundations and Applications

٢٠٠٩

Theoretical Aspects of Computing - ICTAC 2008

٢٠٠٨

Logic-Based Program Synthesis and Transformation

٢٠٠٩

Integrated Formal Methods

٢٠٠٩

Verification, Model Checking, and Abstract Interpretation

٢٠٠٨