The major goal of this book is to present the techniques of top-down program design and verificat...
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...
This book takes a formal approach to teaching software engineering, using not only UML, but also ...
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...
The major topic of this book is the integration of data and programming languages and the associa...
The major topic of this book is the integration of data and programming languages and the associa...
The major goal of this book is to present the techniques of top-down program design and verificat...