Formal object-oriented development [electronic resource] / K. Lano.

Formal Object-Oriented Development provides a comprehensive overview of the use of formal object-oriented methods; it covers how and where they should be introduced into the development process, how they can be introduced selectively for critical parts of an application, and how to incorporate them...

Full description

Bibliographic Details

Online Access:	Full Text (via Springer)
Main Author:	Lano, K.
Format:	Electronic eBook
Language:	English
Published:	London ; New York : Springer, ©1995.
Series:	Formal approaches to computing and information technology.
Subjects:	Object-oriented programming (Computer science)