Click photo to enlarge
Published at $70.00
Your Price
$21.95
(Save $48.05)
PROGRAM PROOFS
Demonstrates what it means to write specifications for programs, what it means for programs to satisfy those specifications, and how to write proofs that connect specifications and programs. Illus.
Format: Paperbound
Pages: 474
Publisher: MIT Press
ISBN: 9780262546232
Item #: 9100504
Published at $70.00
Your Price
$21.95
(Save $48.05)
Money Back Guarantee
Not satisfied with an item? Return it within 60 days for a full refund. No restocking fee. No questions asked.
You Might Be Interested In
-
CODING WITH SCRATCH: Create Awesome Platform GamesPaperbound$9.95 $12.99 -
CONFIDENT CODING: Learn How to Write Code and Master the EssentialsPaperbound$12.95 $17.99
-
GENERATIVE AI IN ACTIONPaperbound$44.95 $59.99
-
GET CODING 2! Build Five Computer Games Using HTML and JavaScriptPaperbound$4.95 $12.99
