Formal Methods in Computer Science

1st Edition

Jiacun Wang, William Tepfenhart

Chapman and Hall/CRC
June 21, 2019 Forthcoming
Textbook - 264 Pages - 154 B/W Illustrations
ISBN 9781498775328 - CAT# K29674
Series: Textbooks in Mathematics

For Instructors Request Inspection Copy

was $99.95


SAVE ~$14.99

Add to Wish List
FREE Standard Shipping!


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 logic, a powerful formal language in specifying systems properties. It is composed of four chapters: propositional logic, predicate logic, temporal logic, and model checking. The third part presents the most popular formal language in system behavior modeling, Petri nets. It has three chapters: Petri nets, timed Petri nets and high-level Petri nets.


We provide complimentary e-inspection copies of primary textbooks to instructors considering our books for course adoption.

Request an
e-inspection copy

Share this Title