Cover Image

Program verification /

Bibliographic Details
Main Author: Francez, Nissim
Format: Book
Language:English
Published: Wokingham, Eng. ; Reading, Mass. : Addison-Wesley Pub. Co., [1992]
Series:International computer science series.
Subjects:
Computer software > Verification.
Description
Physical Description:xi, 312 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references (pages 295-303) and index.
ISBN:0201416085 :