Formal Methods in Computer Science Textbooks in Mathematics | 1 Edition

Compare Textbook Prices for Formal Methods in Computer Science Textbooks in Mathematics 1 Edition ISBN 9781498775328 by Wang, Jiacun
Author: Wang, Jiacun
ISBN:1498775322
ISBN-13: 9781498775328
List Price: $105.99 (up to 18% savings)
Prices shown are the lowest from
the top textbook retailers.

View all Prices by Retailer

Details about Formal Methods in Computer Science Textbooks in Mathematics:

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

Need Unknown tutors? Start your search below:
Need Unknown course notes? Start your search below: