Click photo to enlarge
Published at $60.00
Your Price
$19.95
(Save $40.05)
FUNDAMENTAL PROOF METHODS IN COMPUTER SCIENCE: A Computer-Based Approach
Proof is the primary vehicle for knowledge generation in mathematics. In computer science, proof has found an additional use: verifying that a particular system has certain desirable qualities. With over 300 exercises, this text teaches students how to read and write proofs using Athena.
Format: Hardbound
Pages: 941
Publisher: MIT Press
Size: 8¼x9¼ inches
ISBN: 9780262035538
Item #: 9507701
Published at $60.00
Your Price
$19.95
(Save $40.05)
Money Back Guarantee
Not satisfied with an item? Return it within 60 days for a full refund. No restocking fee. No questions asked.