Formal Methods in Computer Science (美國原版)
暫譯: 計算機科學中的形式方法
Wang, Jiacun, Tepfenhart, William
- 出版商: CRC
- 出版日期: 2019-07-03
- 售價: $3,500
- 貴賓價: 9.5 折 $3,325
- 語言: 英文
- 頁數: 312
- 裝訂: Quality Paper - also called trade paper
- ISBN: 1498775322
- ISBN-13: 9781498775328
-
相關分類:
Computer-Science
-
其他版本:
Formal Methods in Computer Science
立即出貨 (庫存=1)
買這商品的人也買了...
-
無瑕的程式碼－敏捷軟體開發技巧守則 (Clean Code: A Handbook of Agile Software Craftsmanship)$580$452 -
C++ Concurrency in Action, 2/e (Paperback)$2,520$2,394 -
Git 活用大事典 - 指令速查‧錯誤訊息排除‧職場情境範例詳解$560$370 -
Peopleware：腦力密集產業的人才管理之道 (經典紀念版)$460$363 -
$1,971C++ High Performance : Master the art of optimizing the functioning of your C++ code, 2/e (Paperback) -
$412我在硅谷管芯片：芯片產品線經理生存指南 -
Design Patterns in Modern C++20 : Reusable Approaches for Object-Oriented Software Design, 2/e (Paperback)$1,700$1,615
相關主題
商品描述
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, 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.
作者簡介(中文翻譯)
王家村於中國南京科技大學獲得計算機工程博士學位。他是蒙茅斯大學的軟體工程教授。之前曾在北電網路公司工作，並擔任佛羅里達國際大學的研究助理。自2004年以來，王博士在蒙茅斯大學教授本科生和研究生的形式方法課程。
威廉·特芬哈特曾是蒙茅斯大學的計算機科學與軟體工程教授。他受過物理學訓練，專長領域包括物件導向軟體開發、人工智慧和軟體工程。他對物理系統建模的知識為軟體開發領域的重要貢獻奠定了基礎。
