Compare Textbook Prices / Buy Textbooks / Mathematics / Formal Methods in Computer Science Textbooks in Mathematics | 1 Edition

Formal Methods in Computer Science Textbooks in Mathematics | 1 Edition

Author: Wang, Jiacun

ISBN:1498775322
ISBN-13: 9781498775328

List Price: $82.50 (up to 6% savings)

Buy New $77.39

Buy Used $101.59

eTextbook $60.50

Prices shown are the lowest from
the top textbook retailers.

View all Prices by Retailer

Buy New $77.39 Buy Used $101.59

Buy New $100.80 Buy Used $102.43

eTextbook $60.50

Buy New $101.15

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

Need Mathematics course notes? Start your search below: