Cover Image

Algebraic specifications in software engineering : an introduction /

Show other versions (1)
Bibliographic Details
Main Author: Horebeek, Ivo van, 1959-
Other Authors: Lewi, Johan
Format: Book
Language:English
Published: Berlin ; New York : Springer-Verlag, [1989]
Subjects:
Software engineering.
Abstract data types (Computer science)
Description
Physical Description:xiv, 350 pages : illustrations ; 25 cm.
Bibliography:Includes bibliographical references (pages [327]-342) and index.
ISBN:0387516263 (U.S.)