Formal Methods in Computer Science
-
- ¥15,800
-
- ¥15,800
発行者による作品情報
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
ジャンル
コンピュータ／インターネット
発売日
2019年
6月21日
言語
EN
英語
ページ数
350
ページ
発行者
CRC Press
販売元
Taylor & Francis Group
サイズ
33.3
MB
Theory of Computation and Application- Automata,Formal languages,Computational Complexity (2nd Edition)
2022年
Automata and Computability
2019年
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年
Mathematical Aspects of Logic Programming Semantics
2016年