| title | | ISBN-13 | year of publica-
tion | other author(s) |
|---|
| Handbook of Logic in Computer Science: Volume 1. Background: Mathematical Structures: Background - Mathematical Structures Vol 1 | | 978-0-19-853735-9 | 1992 | Dov M. Gabbay · T. S. E. Maibaum |
| Handbook of Logic in Computer Science: Volume 2. Background: Computational Structures: Background - Computational Structures Vol 2 | | 978-0-19-853761-8 | 1992 | Dov M. Gabbay |
| Handbook of Logic in Computer Science: Volume 3. Semantic Structures: Semantic Structures Vol 3 | | 978-0-19-853762-5 | 1995 | Dov M. Gabbay · T. S. E. Maibaum |
| Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures: Algebraic and Logical Structures Vol 5 | | 978-0-19-853781-6 | 2001 | Dov M. Gabbay · T. S. E. Maibaum |
| TAPSOFT '91. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991: Volume ... Notes in Computer Science , Band 493) | | 978-3-540-53982-7 | 2008 | T.S.E. Maibaum |
| TAPSOFT '91. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991: Volume ... Notes in Computer Science , Band 494) | | 978-3-540-53981-0 | 2008 | " |