Modelling Distributed Systems المزيد من الكتب المشابهة

CONCUR 2011 -- Concurrency Theory

٢٠١١

SOFSEM 2009: Theory and Practice of Computer Science

٢٠٠٩

Reachability Problems

٢٠١١

Automated Technology for Verification and Analysis

٢٠٠٩

Theoretical Aspects of Computing - ICTAC 2008

٢٠٠٨

Time for Verification

٢٠١٠

Computer Aided Verification

٢٠١٠

Foundations of Software Science and Computational Structures

٢٠٠٩

Transactions on Petri Nets and Other Models of Concurrency XV

٢٠٢١

Theoretical Aspects of Computing – ICTAC 2022

٢٠٢٢

Formal Techniques for Distributed Systems

٢٠١١

Formal Techniques for Distributed Objects, Components, and Systems

٢٠٢٢

Theoretical Aspects of Computing – ICTAC 2020

٢٠٢٠

Applications and Theory of Petri Nets

٢٠٠٩

Computer Aided Verification

٢٠٠٨