HOME Popular Books Popular Audioooks Popular Textbooks Popular Freebooks More Genres

Book

Audiobook

Genres

Formal Methods in Computer Science

By Jiacun Wang

Release : 2019-06-21

Genre : Computers, Books, Computers & Internet, Science & Nature, Mathematics, Programming

Kind : ebook

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

By Jiacun Wang

Release : 2019-06-21

Genre : Computers, Books, Computers & Internet, Science & Nature, Mathematics, Programming

Kind : ebook

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

advertisement

Access e-books

More By Jiacun Wang

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

Formal Methods in Computer Science

Soft Computing and Signal Processing

Soft Computing and Signal Processing

Intelligent Systems and Sustainable Computing

Soft Computing and Signal Processing

Real-Time Embedded Systems