Reversible Computation المزيد من الكتب المشابهة

Reversible Computation

٢٠١٦

Machines, Computations, and Universality

٢٠١٨

Reversible Computation

٢٠٢٢

Logic-Based Program Synthesis and Transformation

٢٠١٧

Reversible Computation

٢٠١٨

Theoretical Aspects of Computing – ICTAC 2016

٢٠١٦

Computer Aided Verification

٢٠١٧

Programming Languages and Systems

٢٠١٨

Logic-Based Program Synthesis and Transformation

٢٠٢٠

Programming Languages and Systems

٢٠٠٩

Logic for Programming, Artificial Intelligence, and Reasoning

٢٠١٥

Functional and Logic Programming

٢٠١٨

Programming Languages and Systems

٢٠٢٣

Programming Languages and Systems

٢٠١٧

Verification, Model Checking, and Abstract Interpretation

٢٠١٧