Formal Methods in Computer Science More Books Like This

Fundamentals of the Theory of Computation Fundamentals of the Theory of Computation
Fundamentals of the Theory of Computation
1998
Applications and Theory of Petri Nets Applications and Theory of Petri Nets
Applications and Theory of Petri Nets
2009
Time for Verification Time for Verification
Time for Verification
2010
Theory of Computation and Application- Automata,Formal languages,Computational Complexity (2nd Edition) Theory of Computation and Application- Automata,Formal languages,Computational Complexity (2nd Edition)
Theory of Computation and Application- Automata,Formal languages,Computational Complexity (2nd Edition)
2022
Foundations of Software Science and Computational Structures Foundations of Software Science and Computational Structures
Foundations of Software Science and Computational Structures
2009
CONCUR 2011 -- Concurrency Theory CONCUR 2011 -- Concurrency Theory
CONCUR 2011 -- Concurrency Theory
2011
Machines, Computations, and Universality Machines, Computations, and Universality
Machines, Computations, and Universality
2022
Theoretical Aspects of Computing – ICTAC 2022 Theoretical Aspects of Computing – ICTAC 2022
Theoretical Aspects of Computing – ICTAC 2022
2022
Theoretical Aspects of Computing – ICTAC 2020 Theoretical Aspects of Computing – ICTAC 2020
Theoretical Aspects of Computing – ICTAC 2020
2020
Reachability Problems Reachability Problems
Reachability Problems
2011
Transactions on Petri Nets and Other Models of Concurrency XV Transactions on Petri Nets and Other Models of Concurrency XV
Transactions on Petri Nets and Other Models of Concurrency XV
2021
Language and Automata Theory and Applications Language and Automata Theory and Applications
Language and Automata Theory and Applications
2010
SOFSEM 2009: Theory and Practice of Computer Science SOFSEM 2009: Theory and Practice of Computer Science
SOFSEM 2009: Theory and Practice of Computer Science
2009
Machines, Computations, and Universality Machines, Computations, and Universality
Machines, Computations, and Universality
2007
Digital Logic Design Digital Logic Design
Digital Logic Design
2012