Formal Methods in Computer Science
-
- $114.99
-
- $114.99
Descripción editorial
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
GÉNERO
Informática e Internet
PUBLICADO
2019
21 de junio
IDIOMA
EN
Inglés
EXTENSIÓN
350
Páginas
EDITORIAL
CRC Press
VENDEDOR
Taylor & Francis Group
TAMAÑO
33.5
MB
Fundamentals of the Theory of Computation
1998
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