Maibaum, T.S.E. books & textbook
TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991: Volume ... '91) (Lecture Notes in Computer Science, 493)
Springer /1991-03-28 Paperback / 463 Pages
isbn-10: 3540539824 / isbn-13: 9783540539827
Handbook of Logic in Computer Science: Volume 4: Semantic Modelling
Abramsky, S. Gabbay, Dov M. Maibaum, T. S. E.
Clarendon Press /1995-06-15 Hardcover / 666 Pages
isbn-10: 0198537808 / isbn-13: 9780198537809
Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures
Abramsky, S. Gabbay, Dov M. Maibaum, T. S. E.
Clarendon Press /1993-03-18 Hardcover / 582 Pages
isbn-10: 0198537611 / isbn-13: 9780198537618
Handbook of Logic in Computer Science (Handbook of Logic in Computer Science, Vol 1)
Abramsky S S. Abramsky Dov M. Gabbay T. S. E. Maibaum
Oxford University Press /1993-03-18 Hardcover / 840 Pages
isbn-10: 0198537352 / isbn-13: 9780198537359
TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991: Volume ... (Lecture Notes in Computer Science, 494)
Springer /1991-03-28 Paperback / 490 Pages
isbn-10: 3540539816 / isbn-13: 9783540539810
Handbook of Logic in Computer Science 5
Abramsky, S. Gabbay, Dov. M. Maibaum, T. S. E.
Oxford University Press /2001-02-15 Hardcover / 556 Pages
isbn-10: 0198537816 / isbn-13: 9780198537816
Handbook of Logic in Computer Science: Volume 3: Semantic Structures
Abramsky, S. Gabbay, Dov M. Maibaum, T. S. E.
Clarendon Press /1995-06-15 Hardcover / 506 Pages
isbn-10: 019853762X / isbn-13: 9780198537625
