Rewriting Logic and Its Applications المزيد من الكتب المشابهة

Perspectives of System Informatics

٢٠١٥

Theory and Practice of Formal Methods

٢٠١٦

Logic-Based Program Synthesis and Transformation

٢٠١٥

Rewriting Logic and Its Applications

٢٠١٦

Programming Languages and Systems

٢٠١٦

Logic-Based Program Synthesis and Transformation

٢٠١٨

Theoretical Aspects of Computing – ICTAC 2016

٢٠١٦

Programming Languages and Systems

٢٠١٧

Concurrency, Compositionality, and Correctness

٢٠١٠

Programming Languages and Systems

٢٠١٨

Logic-Based Program Synthesis and Transformation

٢٠١٩

Programming Languages and Systems

٢٠١٦

Semantics, Logics, and Calculi

٢٠١٦

Trustworthy Global Computing

٢٠١٤

Perspectives of System Informatics

٢٠١٦