Formal Methods in Computer Science المزيد من الكتب المشابهة

Fundamentals of the Theory of Computation

١٩٩٨

Applications and Theory of Petri Nets

٢٠٠٩

Time for Verification

٢٠١٠

Theory of Computation and Application- Automata,Formal languages,Computational Complexity (2nd Edition)

٢٠٢٢

Foundations of Software Science and Computational Structures

٢٠٠٩

CONCUR 2011 -- Concurrency Theory

٢٠١١

Machines, Computations, and Universality

٢٠٢٢

Theoretical Aspects of Computing – ICTAC 2022

٢٠٢٢

Theoretical Aspects of Computing – ICTAC 2020

٢٠٢٠

Reachability Problems

٢٠١١

Transactions on Petri Nets and Other Models of Concurrency XV

٢٠٢١

Language and Automata Theory and Applications

٢٠١٠

SOFSEM 2009: Theory and Practice of Computer Science

٢٠٠٩

Machines, Computations, and Universality

٢٠٠٧

Digital Logic Design

٢٠١٢