Join Books.org — it's free
Home > Books > The Deductive Foundations of Computer Programming

Computers & the Internet, General
The Deductive Foundations of Computer Programming by Zohar Manna — book cover

The Deductive Foundations of Computer Programming

by Zohar Manna, Richard Waldinger
Write a review
Log in to track your reading progress.

No ratings yet.

Log in to write a review.

Showing reviews of this edition only. Show reviews from all editions

No reviews of this edition yet.