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:

Similar Items