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 0% savings)

Buy New $82.45

Buy Used $106.66

eTextbook $63.25

Prices shown are the lowest from
the top textbook retailers.

View all Prices by Retailer

Buy New $82.45 Buy Used $110.28

Buy New $105.14 Buy Used $106.66

eTextbook $63.25

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:

Yosi B.

(0 reviews)

Education: Cochran GA
Major: Retired college professor, over 30 years experience; CAN teach ANYONE, who ACTULY WANTS to learn.

With over 30 years of teaching, I have the honor and pleasure to say that I have former students – who are doctors, scientists, Engineers, and business men & women - who still keep in touch and even come to visit. Some keep in-touch even from other countries and many call or Skype; and some call for help and advice. Read more

Need Mathematics course notes? Start your search below: