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)

買這商品的人也買了...

商品描述

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網。它包括三個章節:Petri網、時態Petri網和高階Petri網。

作者簡介

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.

作者簡介(中文翻譯)

王家村(Jiacun Wang)在中國南京理工大學獲得計算機工程博士學位。他是蒙茅斯大學(Monmouth University)軟體工程學教授。他曾在諾特爾網絡(Nortel Networks)工作,並在佛羅里達國際大學(Florida International University)擔任研究助理。自2004年以來,王博士一直在蒙茅斯大學教授形式方法(formal methods)給本科生和研究生。

威廉·特普芬哈特(William Tepfenhart)是蒙茅斯大學計算機科學和軟體工程學教授。作為一名物理學家,他的專業領域包括面向對象的軟體開發、人工智能和軟體工程。他對建模物理系統的知識為軟體開發領域的重要貢獻奠定了基礎。