Constructing correct software
Subtitle: the basics
By: John Cooke.
Series: Formal approaches to computing and information technology
Publisher: Springer
Published: 1998
Place of publication: London; New York
Language: eng
Number of pages: 395
Subjects: Computer software -- Development.
Notes: Includes index.