Formal Methods in Computer Science Formal Methods in Computer Science
Textbooks in Mathematics

Formal Methods in Computer Science

Jiacun Wang & William Tepfenhart
    • ¥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

Jiacun Wang & William Tepfenhartの他のブック

Handbook of Finite State Based Models and Applications Handbook of Finite State Based Models and Applications
Handbook of Finite State Based Models and Applications
2016年
Real-Time Embedded Systems Real-Time Embedded Systems
Real-Time Embedded Systems
2017年

このシリーズの他のブック

An Introduction to Number Theory with Cryptography An Introduction to Number Theory with Cryptography
An Introduction to Number Theory with Cryptography
2018年
A Second Course in Complex Analysis A Second Course in Complex Analysis
A Second Course in Complex Analysis
2026年
A Course in Real Analysis A Course in Real Analysis
A Course in Real Analysis
2026年
Mathematics for Artificial Intelligence Mathematics for Artificial Intelligence
Mathematics for Artificial Intelligence
2026年
Fourier Series and Boundary Value Problems with Engineering Applications Fourier Series and Boundary Value Problems with Engineering Applications
Fourier Series and Boundary Value Problems with Engineering Applications
2025年
Lectures on Differential Geometry with Maple Lectures on Differential Geometry with Maple
Lectures on Differential Geometry with Maple
2025年