The Deductive Foundations of Computer Programming
Book Details
Author(s)
Zohar Manna, Richard Waldinger
Publisher
Addison-Wesley Professional
ISBN / ASIN
0201548860
ISBN-13
9780201548860
Availability
Usually ships in 24 hours
Sales Rank
#2,505,026
Category
Hardcover
Marketplace
United States 🇺🇸
