Formal Methods in Computer Science
暫譯: 計算機科學中的形式方法
Wang, Jiacun, Tepfenhart, William
- 出版商: CRC
- 出版日期: 2019-06-25
- 售價: $6,820
- 貴賓價: 9.5 折 $6,479
- 語言: 英文
- 頁數: 296
- 裝訂: Hardcover - also called cloth, retail trade, or trade
- ISBN: 0367225700
- ISBN-13: 9780367225704
-
相關分類:
Computer-Science
-
其他版本:
Formal Methods in Computer Science (美國原版)
海外代購書籍(需單獨結帳)
相關主題
商品描述
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.
商品描述(中文翻譯)
這本教科書為學生提供了對形式方法及其在軟體和硬體規範與驗證中的應用的全面介紹。它分為三個部分：第一部分介紹了形式方法的一些基本概念，包括集合論、函數、有限狀態機和正則表達式。第二部分專注於邏輯，這是一種強大的形式語言，用於指定系統屬性。它由四個章節組成：命題邏輯、謂詞邏輯、時間邏輯和模型檢查。第三部分介紹了系統行為建模中最流行的形式語言，即彼得網（Petri nets）。它包含三個章節：彼得網、定時彼得網和高階彼得網。
作者簡介
Jiacun Wang received a PhD in computer engineering from Nanjing University of Science and Technology (NJUST), China. He is Professor of Software Engineering at Monmouth University. He was previously with Nortel Networks in Richardson, Texas. Prior to joining Nortel, he was a research associate of the School of Computer Science, Florida International University (FIU) at Miami. Prior to joining FIU, he was an associate professor at NJUST. Dr. Wang has been teaching formal methods for both undergraduates and graduates at Monmouth University for more than 10 years.
William Tepfenhart was an Associate Professor of Computer Science and Computer Engineering at Monmouth University. His experience ranged across a broad spectrum of activities. He has performed in the role of instructor, researcher, software developer, and author. 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.
作者簡介(中文翻譯)
王家村於中國南京科技大學（NJUST）獲得計算機工程博士學位。他是蒙茅斯大學的軟體工程教授。之前曾在德克薩斯州理查森的Nortel Networks工作。在加入Nortel之前，他是邁阿密佛羅里達國際大學（FIU）計算機科學學院的研究助理。在加入FIU之前，他是南京科技大學的副教授。王博士在蒙茅斯大學教授正式方法的課程已超過10年，涵蓋本科生和研究生。
威廉·特芬哈特曾是蒙茅斯大學的計算機科學與計算機工程副教授。他的經驗涵蓋了廣泛的活動範疇。他擔任過講師、研究員、軟體開發者和作者。作為一名受過訓練的物理學家，他的專業領域包括物件導向軟體開發、人工智慧和軟體工程。他對物理系統建模的知識為他在軟體開發領域的重大貢獻奠定了基礎。
