|
| Books 1 - 9 of 9 | Previous | Next |
|
 | | Partial Order Methods in Verification (Series in Discrete Mathematics & Theoretical Computer Science)
by Doron A. Peled (Editor), Vaughan R. Pratt (Editor), Gerard J. Holzmann (Editor)
Hardcover, 403 Pages, Published 1997 by American Mathematical Society
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Computability and completeness in logics of programs / David Harel, Albert R. Meyer, Vaughan R. Pratt (MIT/LCS/TM-97)
by Dudu Harel
Unknown Binding, 16 Pages, Published 1978 by Massachusetts Institute of Technology, Laboratory for Computer Science
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Shellsort and sorting networks,
by Vaughan R Pratt
Unknown Binding, 2 Pages, Published 1972 by Computer Science Dept., Stanford University
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Six lectures on dynamic logic (MIT/ Laboratory for Computer Science Technical Memoranda)
by Vaughan R Pratt
Unknown Binding, 23 Pages, Published 1979 by Massachusetts Institute of Technology, Laboratory for Computer Science
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Six lectures on dynamic logic (MIT/LCS/TM-117)
by Vaughan R Pratt
Unknown Binding, 23 Pages, Published 1978 by Massachusetts Institute of Technology, Laboratory for Computer Science
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Semantical considerations on Floyd-Hoare logic (MIT/LCS/TR-168)
by Vaughan R Pratt
Unknown Binding, Published 1976 by Massachusetts Institute of Technology, Laboratory for Computer Science
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Dynamic algebras and the nature of induction (MIT/LCS/TM-159)
by Vaughan R Pratt
Unknown Binding, 15 Pages, Published 1980 by Massachusetts Institute of Technology, Laboratory for Computer Science
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Applications of modal logic to programming (MIT/LCS/TR-116)
by Vaughan R Pratt
Unknown Binding, 25 Pages, Published 1978 by Massachusetts Institute of Technology, Laboratory for Computer Science
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Some constructions for order-theoretic models of concurrency (Report / Department of Computer Science, Stanford University)
by Vaughan R Pratt
Unknown Binding, 17 Pages, Published 1985 by Dept. of Computer Science, Stanford University
Compare Prices | Add to Wish List | Set Price Alert |
|
| Books 1 - 9 of 9 | Previous | Next |