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.

Remote Storage