| Books 1 - 10 of 21 | Previous | Next |
|
 | | Prudent engineering practice for cryptographic protocols (SRC research report)
by Martín Abadi
Unknown Binding, 25 Pages, Published 1994 by Digital, Systems Research Center
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | A logic of object-oriented programs (SRC research report)
by Martín Abadi
Unknown Binding, 37 Pages, Published 1998 by Digital, Systems Research Center
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Temporal-logic theorem proving (Report / Stanford University. Dept. of Computer Science)
by Martín Abadi
Unknown Binding, 161 Pages, Published 1987 by Dept. of Computer Science, Stanford University
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Decidability and expressiveness for first-order logics of probability (SRC reports)
by Martín Abadi
Unknown Binding, 39 Pages, Published 1991 by Digital, Systems Research Center
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | An old-fashioned recipe for real time (SRC research reports)
by Martín Abadi
Unknown Binding, 67 Pages, Published 1992 by Digital, Systems Research Center
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Formal parametric polymorphism (SRC research report)
by Martín Abadi
Unknown Binding, 43 Pages, Published 1993 by Digital, Systems Research Center
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Conjoining specifications (SRC research report)
by Martín Abadi
Unknown Binding, 65 Pages, Published 1993 by Digital, Systems Research Center
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Protection in programming-language translations (SRC research report)
by Martín Abadi
Unknown Binding, 21 Pages, Published 1998 by Digital, Systems Research Center
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Dynamic typing in a statically typed language (SRC reports)
by Martín Abadi
Unknown Binding, 35 Pages, Published 1989 by Digital, Systems Research Center
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | A logical view of composition
by Martín Abadi, Gordon D. Plotkin
Unknown Binding, Published 1992 by Systems Research Center, Digital Equiipment Corporation
Compare Prices | Add to Wish List | Set Price Alert |
|
| Books 1 - 10 of 21 | Previous | Next |