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

Formal Methods in Computer Science Textbooks in Mathematics | 1 Edition

Authors: Wang, Jiacun,Tepfenhart, William

ISBN:0367225700
ISBN-13: 9780367225704

List Price: $194.37 (up to 20% savings)

Buy New $182.68

Buy Used $155.43

eTextbook $60.50

Prices shown are the lowest from
the top textbook retailers.

View all Prices by Retailer

Buy Used $155.43 Buy New $190.43

Buy New $187.45 Buy Used $219.41

eTextbook $60.50

Buy New $182.68

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: