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: $88.00 (up to 11% 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 a Mathematics tutor? View profile below:
Kevin E.
(0 reviews)
Education: Las Vegas NV
Major: Seasoned Tutor With a Chemistry Degree

I am meticulous about understanding the material itself as well as understanding why the material applies to you in your own personal life. I help students achieve goals in subjects including Biostatistics and Mathematics.... Read more

I am meticulous about understanding the material itself as well as understanding why the material applies to you in your own personal life. I help students achieve goals in subjects including Biostatistics and Mathematics.... Read more

Need Mathematics course notes? Start your search below: