Formal Methods in Computer Science
-
- 92,99 €
-
- 92,99 €
Beschreibung des Verlags
This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. It has three parts: The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines, and regular expressions. The second part focuses on logi
GENRE
Computer und Internet
ERSCHIENEN
2019
21. Juni
SPRACHE
EN
Englisch
UMFANG
350
Seiten
VERLAG
CRC Press
GRÖSSE
33,5
MB
Applications and Theory of Petri Nets
2009
Time for Verification
2010
Theory of Computation and Application- Automata,Formal languages,Computational Complexity (2nd Edition)
2022
Foundations of Software Science and Computational Structures
2009
CONCUR 2011 -- Concurrency Theory
2011
Machines, Computations, and Universality
2022