Formal Methods in Computer Science PDF Download

Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Formal Methods in Computer Science PDF full book. Access full book title Formal Methods in Computer Science by Jiacun Wang. Download full books in PDF and EPUB format.

Formal Methods in Computer Science

Formal Methods in Computer Science PDF Author: Jiacun Wang
Publisher: CRC Press
ISBN: 1498775357
Category : Computers
Languages : en
Pages : 279

Get Book Here

Book Description
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