K. Lano
7 published titles
Object-oriented specification case studies
(Contributor)
1 edition
- ISBN: 0130970158
- Prentice Hall
- 1994
- Details
Formal object-oriented development
1 edition
- ISBN: 3540199780
- Springer
- 1995
- Details
Specification in B : an introduction using the B toolkit
1 edition
- ISBN: 1860940188
- Imperial College Press
- 1996
- Details
The B language and method : a guide to practical formal development
1 edition
- ISBN: 3540760334
- Springer
- 1996
- Details
Software design using Java 2
1 edition
- ISBN: 1403902305
- Palgrave Macmillan
- 2002
- Details
Model-driven software development with UML and Java
1 edition
- ISBN: 9781844809523
- Cengage Learning
- 2009
- Details
UML 2 semantics and applications
(Contributor)
1 edition
- ISBN: 9780470409084
- Wiley
- 2009
- Details
