Cover Image

Formal specification techniques for engineering modular C programs /

Show other versions (1)
Bibliographic Details
Main Author: Tan, Yang Meng
Format: Book
Language:English
Published: Boston : Kluwer Academic Publishers, [1996]
Series:Kluwer international series in software engineering ; 1.
Subjects:
C (Computer program language)
Software engineering.
Description
Physical Description:xvi, 213 pages : illustrations ; 25 cm.
Bibliography:Includes bibliographical references (pages [205]-208) and index.
ISBN:0792396537 (acid-free paper)