Cover Image

Verifiable programming /

Bibliographic Details
Main Author: Dahl, Ole-Johan, 1931-
Format: Book
Language:English
Published: New York : Prentice Hall, 1992.
Series:Prentice-Hall international series in computer science.
Subjects:
Computer programs > Verification.
Programming
Description
Physical Description:ix, 269 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references and index.
ISBN:0139510621 :