An edition of Predicate Calculus and Program Semantics
(2011)
Predicate Calculus and Program Semantics
by Edsger Wybe Dijkstra and Carel S. Scholten
Share
×Close
Last edited by Tom Morris
September 2, 2023 | History
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
| Edition | Availability |
|---|---|
1
|
aaaa
|
Book Details
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
| September 2, 2023 | Edited by Tom Morris | merge authors |
| May 1, 2020 | Created by ImportBot | import new book |