Perspectives of System Informatics المزيد من الكتب المشابهة

Logic-Based Program Synthesis and Transformation

٢٠١٥

Programming Languages and Systems

٢٠١٧

Programming Languages and Systems

٢٠١٦

Theoretical Aspects of Computing – ICTAC 2016

٢٠١٦

Programming Languages and Systems

٢٠١٨

Semantics, Logics, and Calculi

٢٠١٦

Rewriting Logic and Its Applications

٢٠١٤

Verification, Model Checking, and Abstract Interpretation

٢٠١٧

Perspectives of System Informatics

٢٠١٦

Programming Languages and Systems

٢٠١٥

Verification, Model Checking, and Abstract Interpretation

٢٠١٥

Programming Languages and Systems

٢٠١٧

Theory and Practice of Formal Methods

٢٠١٦

Integrated Formal Methods

٢٠٢٠

Functional and Logic Programming

٢٠١٨