Books by K. Lano

11 books found

Software design using Java 2

Software design using Java 2

20021 ed.
Specification in B

Specification in B

19961 ed.
Agile Model-Based Development Using Uml-rsds

Agile Model-Based Development Using Uml-rsds

20211 ed.
Advanced systems design with Java, UML, and MDA

Advanced systems design with Java, UML, and MDA

20051 ed.
The B language and method

The B language and method

19961 ed.
UML 2 semantics and applications

UML 2 semantics and applications

20091 ed.
Formal object-oriented development

Formal object-oriented development

19951 ed.
Reverse engineering and software maintenance

Reverse engineering and software maintenance

19933 ed.
Object-oriented specification case studies

Object-oriented specification case studies

19693 ed.
An Introduction to the B Abstract Machine Notation (The Mcgraw-Hill International Series in Software Engineering)

An Introduction to the B Abstract Machine Notation (The Mcgraw-Hill International Series in Software Engineering)

19951 ed.
Stunning

Stunning

20241 ed.