Formal Methods in Computer Science
-
- $149.99
-
- $149.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
Theory of Computation and Application- Automata,Formal languages,Computational Complexity (2nd Edition)
2022
An Introduction to the Analysis of Algorithms
2018
Algorithms for Analysis, Inference, and Control of Boolean Networks
2018
Role Of Theory In Computer Science, The: Essays Dedicated To Janusz Brzozowski
2017
Algebraic Theory for Multivariable Linear Systems (Enhanced Edition)
1983