| | Books 1 - 10 of 20 | Previous | Next | 
|  | | Logic at Botik '89: Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 989, Proceedings (Lecture Notes in Computer Science) (1st Edition)
by Albert R. Meyer (Editor), Michael A. Taitslin (Editor)
Paperback, 289 Pages, Published 1989 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Theoretical Aspects of Computer Software: International Conference TACS '9, Sendai, Japan, September 24-27, 99. Proceedings (Lecture Notes in Computer Science) (1st Edition)
by Takayasu Ito (Editor), Albert R. Meyer (Editor)
Paperback, 772 Pages, Published 1991 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Research Directions in Computer Science: An MIT Perspective
by Albert R. Meyer (Editor), John V. Guttag (Editor), Ronald L. Rivest (Editor), Peter Szolovits (Editor)
Hardcover, 518 Pages, Published 1991 by The MIT Press
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Theoretical Aspects of Computer Software: International Conference,TACS'91, Sendai, Japan, September 24-27, 1991 Proceedings
by T.; Meyer, Albert R. Ito
Hardcover, Published 1990 by Publisher Unknown
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 |
|  | | Ten thousand and one logics of programming (MIT/LCS/TM-150)
by Albert R Meyer
Unknown Binding, 19 Pages, Published 1980 by Massachusetts Institute of Technology, Laboratory for Computer Science
Compare Prices | Add to Wish List | Set Price Alert |
|  | | What is a model of the lambda calculus? (MIT/LCS/TM-171)
by Albert R Meyer
Unknown Binding, 20 Pages, Published 1980 by Massachusetts Institute of Technology, Laboratory for Computer Science
Compare Prices | Add to Wish List | Set Price Alert |
|  | | The deducibility problem in propositional dynamic logic (MIT/LCS/TM-192)
by Albert R Meyer
Unknown Binding, 16 Pages, Published 1981 by Massachusetts Institute of Technology, Laboratory for Computer Science
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Research Directions in Computer Science : An MIT Perspective
by Albert R. (editor); Gutag, John V. (editor); Rivest, Ronald L. (editor); Szolovits, Peter (editor) Meyer
Paperback, Published 1991 by The MIT Press
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Definability in dynamic logic (MIT/LCS/TM-156)
by Albert R Meyer
Unknown Binding, 15 Pages, Published 1980 by Massachusetts Institute of Technology, Laboratory for Computer Science
Compare Prices | Add to Wish List | Set Price Alert |
| | Books 1 - 10 of 20 | Previous | Next |
|