Formal Aspects of Component Software المزيد من الكتب المشابهة

Formal Techniques for Distributed Systems

٢٠١١

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

٢٠١٩

Fundamentals of Software Engineering

٢٠١٠

Software Engineering and Formal Methods

٢٠٢١

Formal Methods – The Next 30 Years

٢٠١٩

Formal Techniques for Networked and Distributed Systems - FORTE 2007

٢٠٠٧

Model Checking, Synthesis, and Learning

٢٠٢١

Theoretical Aspects of Computing – ICTAC 2021

٢٠٢١

International Symposium on Fundamentals of Software Engineering

٢٠٠٧

Theoretical Aspects of Software Engineering

٢٠٢٢

Dependable Software Engineering. Theories, Tools, and Applications

٢٠١٧

Concurrency, Graphs and Models

٢٠٠٨

Models, Algorithms, Logics and Tools

٢٠١٧

NASA Formal Methods

٢٠٢٢

Tools and Algorithms for the Construction and Analysis of Systems

٢٠١٦