Cover Image

The spine of software : designing provably correct software-- theory and practice, or, A mathematical introduction to the semantics of computer programs /

Bibliographic Details
Main Author: Baber, Robert Laurence
Format: Book
Language:English
Published: Chichester [West Sussex] ; New York : Wiley, [1988]
Subjects:
Computer software > Development.
Computer programming.
Description
Item Description:Includes index.
Physical Description:xi, 316 pages : illustrations ; 24 cm.
Bibliography:Bibliography: pages 302-305.
ISBN:0471914746 :