Cover Image

The foundations of program verification /

Show other versions (1)
Bibliographic Details
Main Author: Loeckx, Jacques, 1931-
Other Authors: Sieber, Kurt, Stansifer, Ryan D.
Format: Book
Language:English
Published: Stuttgart [Germany] : Chichester ; New York : B.G. Teubner ; Wiley, [1984]
Series:Applicable theory in computer science.
Subjects:
Computer programs > Verification.
Description
Item Description:Includes index.
Physical Description:ix, 230 pages ; 24 cm.
Bibliography:Bibliography: pages 222-226.
ISBN:047190323X :