HOME View All Genre

Book

Audiobook

GENRES 🌙 Dark

Formal Methods in Computer Science - Jiacun Wang & William Tepfenhart

By Jiacun Wang & William Tepfenhart

Release Date: 2019-06-21

Genre: Computers

(0 ratings)
Read Download
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

Formal Methods in Computer Science - Jiacun Wang & William Tepfenhart

By Jiacun Wang & William Tepfenhart

Release Date: 2019-06-21

Genre: Computers

(0 ratings)
Read Download
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

More by Jiacun Wang & William Tepfenhart

Soft Computing and Signal Processing

Soft Computing and Signal Processing

Soft Computing and Signal Processing

Soft Computing and Signal Processing

Soft Computing and Signal Processing

Intelligent Systems and Sustainable Computing

Soft Computing and Signal Processing

Soft Computing and Signal Processing

Intelligent Systems and Sustainable Computing

Handbook of Finite State Based Models and Applications

Soft Computing and Signal Processing

Formal Methods in Computer Science

Soft Computing and Signal Processing

Real-Time Embedded Systems

Related Articles