| title | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Advanced Systems Design with Java UML and MDA | 978-0-7506-6496-7 | 2005 | ||
| Financial Software Engineering | 978-3-030-14049-6 | 2019 | ||
| Formal Object-Oriented Development | 978-3-540-19978-6 | 2013 | ||
| Model-Driven Software Development with UML and Java | 978-1-84480-952-3 | 2009 | ||
| Software Design Using Java 2 | 978-1-4039-0230-6 | 2002 | José Luiz Fiadeiro · Luís Filipe De Andrade | |
| Specification in B: An Introduction Using the B Toolkit | 978-1-86094-008-8 | 1996 | Howard Haughton | |
| The B Language and Method: A Guide to Practical Formal Development | 978-3-540-76033-7 | 1996 | ||
| UML 2 Semantics and Applications | 978-0-470-40908-4 | 2009 | ||
| Unlimited Desires: An International Anthology of Bisexual Erotica | 978-0-9538816-0-4 | 2000 | ||
BiPress · Butterworth-Heinemann · Cengage Learning EMEA · Imperial College Press · Palgrave Macmillan · Springer · Wiley