Formal Methods in Computer Science (美國原版)
Wang, Jiacun, Tepfenhart, William
- 出版商: CRC
- 出版日期: 2019-07-03
- 售價: $2,980
- 貴賓價: 9.5 折 $2,831
- 語言: 英文
- 頁數: 312
- 裝訂: Quality Paper - also called trade paper
- ISBN: 1498775322
- ISBN-13: 9781498775328
-
相關分類:
Computer-Science 計算機概論
-
其他版本:
Formal Methods in Computer Science
立即出貨 (庫存=1)
買這商品的人也買了...
-
$2,170$2,062
商品描述
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 logic, a powerful formal language in specifying systems properties. It is composed of four chapters: propositional logic, predicate logic, temporal logic, and model checking. The third part presents the most popular formal language in system behavior modeling, Petri nets. It has three chapters: Petri nets, timed Petri nets and high-level Petri nets.
作者簡介
Jiacun Wang received a PhD in computer engineering from Nanjing University of Science and Technology, China. He is a professor of Software Engineering at Monmouth University. He was previously with Nortel Networks and was a research associate at Florida International University. Dr. Wang has been teaching formal methods for both undergraduates and graduates at Monmouth University since 2004.
William Tepfenhart was a professor of Computer Science and Software Engineering at Monmouth University. Trained as a physicist, his areas of expertise included object-oriented software development, artificial intelligence, and software engineering. His knowledge of modeling physical systems formed the basis for major contributions in the area of software development.