Lectures on the logic of computer programming
Lectures on the logic of computer programming
Zohar Manna
Details
OL Work ID
OL3745396W
Subjects
Computer programming
Symbolic and mathematical Logic
Programming (mathematics)
Find this book
Open Library