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

Formal Methods in Computer Science

Jiacun Wang 및 William Tepfenhart
    • US$124.99
    • US$124.99

출판사 설명

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

비슷한 책 더 보기

Fundamentals of the Theory of Computation Fundamentals of the Theory of Computation
Fundamentals of the Theory of Computation
1998년
Applications and Theory of Petri Nets Applications and Theory of Petri Nets
Applications and Theory of Petri Nets
2009년
Time for Verification Time for Verification
Time for Verification
2010년
Theory of Computation and Application- Automata,Formal languages,Computational Complexity (2nd Edition) Theory of Computation and Application- Automata,Formal languages,Computational Complexity (2nd Edition)
Theory of Computation and Application- Automata,Formal languages,Computational Complexity (2nd Edition)
2022년
Foundations of Software Science and Computational Structures Foundations of Software Science and Computational Structures
Foundations of Software Science and Computational Structures
2009년
CONCUR 2011 -- Concurrency Theory CONCUR 2011 -- Concurrency Theory
CONCUR 2011 -- Concurrency Theory
2011년

Jiacun Wang & William Tepfenhart의 도서 더 보기

Soft Computing and Signal Processing Soft Computing and Signal Processing
Soft Computing and Signal Processing
2025년
Intelligent Systems and Sustainable Computing Intelligent Systems and Sustainable Computing
Intelligent Systems and Sustainable Computing
2025년
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년
Soft Computing and Signal Processing Soft Computing and Signal Processing
Soft Computing and Signal Processing
2024년
Intelligent Systems and Sustainable Computing Intelligent Systems and Sustainable Computing
Intelligent Systems and Sustainable Computing
2023년
Soft Computing and Signal Processing Soft Computing and Signal Processing
Soft Computing and Signal Processing
2023년

이 시리즈의 다른 책

The Shape of Space The Shape of Space
The Shape of Space
2020년
Differential Equations with Applications and Historical Notes Differential Equations with Applications and Historical Notes
Differential Equations with Applications and Historical Notes
2016년
Introduction to Financial Mathematics Introduction to Financial Mathematics
Introduction to Financial Mathematics
2021년
Graph Theory and Its Applications Graph Theory and Its Applications
Graph Theory and Its Applications
2018년
An Introduction to Number Theory with Cryptography An Introduction to Number Theory with Cryptography
An Introduction to Number Theory with Cryptography
2018년
Elements of Algebraic Topology Elements of Algebraic Topology
Elements of Algebraic Topology
2025년