Reflections on the Work of C.A.R. Hoare المزيد من الكتب المشابهة

Concurrency, Compositionality, and Correctness

٢٠١٠

Unifying Theories of Programming

٢٠١٩

The Logic of Software. A Tasting Menu of Formal Methods

٢٠٢٢

Models, Mindsets, Meta: The What, the How, and the Why Not?

٢٠١٩

Theoretical Aspects of Computing – ICTAC 2010

٢٠١٠

Formal Methods – The Next 30 Years

٢٠١٩

Programming Languages and Systems

٢٠١٨

Logic-Based Program Synthesis and Transformation

٢٠٢٠

Concurrency, Graphs and Models

٢٠٠٨

Theoretical Aspects of Computing – ICTAC 2021

٢٠٢١

Programming Languages and Systems

٢٠١٦

Logic-Based Program Synthesis and Transformation

٢٠١٩

Logic-Based Program Synthesis and Transformation

٢٠٢٢

Perspectives of System Informatics

٢٠١٥

Logic-Based Program Synthesis and Transformation

٢٠١٥