B. Jacobs · Bert Jacobs · Bertha Josephson · Brad Jacobs
Cambridge University Press · Springer
| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based ... in Information and Communication Technology) | 978-0-7923-7683-5 (0-7923-7683-8) | 2002 | Arend Rensink |
| Introduction to Coalgebra | 978-1-107-17789-5 (1-107-17789-8) | 2016 | |