Algebraic Specification Techniques in Object Oriented Programming Environments (Lecture Notes in Computer Science)

Breu, R.

ISBN 10: 0387549722 / ISBN 13: 9780387549729

Published by Springer Verlag, 1992

About this Item

Like New. Seller Inventory # ERICA79003875497226

Bibliographic Details

Title: Algebraic Specification Techniques in Object...

Publisher: Springer Verlag

Publication Date: 1992

Binding: Paperback

Condition: Like New

Book Type: book

About this title

Synopsis:

Algebraic Specification Techniques in Object Oriented Programming Environments This monograph presents a formal foundation for the integrated design of object-oriented computer programs with algebraic specification techniques. It examines the development of a design method supporting the structured design and reuse of software in this environment.