The major goal of this book is to present the techniques of top-down program design and verificat...

This book presents a unified collection of concepts, tools, and techniques that constitute the mo...

The major topic of this book is the integration of data and programming languages and the associa...

This book takes a formal approach to teaching software engineering, using not only UML, but also ...

This book takes a formal approach to teaching software engineering, using not only UML, but al...

This book takes a formal approach to teaching software engineering, using not only UML, but al...

The core idea of this book is that object- oriented technology is a generic technology whose v...

The core idea of this book is that object- oriented technology is a generic technology whose v...

The major topic of this book is the integration of data and programming languages and the associa...

This book presents a unified collection of concepts, tools, and techniques that constitute the mo...

The major goal of this book is to present the techniques of top-down program design and verificat...