Michael J. O'Donnell
Popular items by Michael J. O'Donnell
View all offers-
A programming logic: With an introduction to the PL/CV verifier
Constable, R. L
Item prices starting from
View 2 offersUS$ 1.64
Also find
Used -
Computing in Systems Described by Equations (Lecture notes in computer science)
Michael J. O'Donnell
Item prices starting from
View 11 offersUS$ 8.51
-
Equational Logic As a Programming Language (Mit Pr Series in the Foundations of Computing)
O'Donnell, Michael J.
Item prices starting from
View 1 offerUS$ 35.92
Also find
Used
