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

Formal Methods in Computer Science

Jiacun Wang und William Tepfenhart
    • 94,99 €
    • 94,99 €

Beschreibung des Verlags

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

GENRE
Computer und Internet
ERSCHIENEN
2019
21. Juni
SPRACHE
EN
Englisch
UMFANG
350
Seiten
VERLAG
CRC Press
GRÖSSE
33,3
 MB

Mehr ähnliche Bücher

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
Machines, Computations, and Universality Machines, Computations, and Universality
Machines, Computations, and Universality
2022

Mehr Bücher von 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

Andere Bücher in dieser Reihe

Advanced Problem Solving with Maple Advanced Problem Solving with Maple
Advanced Problem Solving with Maple
2019
Advanced Problem Solving Using Maple Advanced Problem Solving Using Maple
Advanced Problem Solving Using Maple
2020
A Second Course in Complex Analysis A Second Course in Complex Analysis
A Second Course in Complex Analysis
2026
Elements of Topology Elements of Topology
Elements of Topology
2026
Convex Analysis Convex Analysis
Convex Analysis
2026
Real and Functional Analysis Real and Functional Analysis
Real and Functional Analysis
2026