Formal Methods in Computer Science
-
- $144.99
-
- $144.99
Publisher Description
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
Computing & Internet
RELEASED
2019
21 June
LANGUAGE
EN
English
LENGTH
350
Pages
PUBLISHER
CRC Press
SELLER
Taylor & Francis Group
SIZE
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