Constructing correct software :: John Cooke :: ISBN 1852338202 :: Springer 2005 :: OBNB, the Open British National Bibliography

Publication Data

Title Constructing correct software
Author John Cooke
Publisher Springer
Publication date 2005
Publication location London
Language English

Descriptive Notes

Previous ed. published: 1998.

Topics

Computer software :: Development
Formal methods (Computer science)

Catalogue Data

OBNB ID GBA461524
ISBN 10 1852338202
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 005.1

ISBD

P1008>2nd 2nd ed
P1053 xxi, 509 p.
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Constructing correct software by John Cooke. ISBN 1852338202. Published by Springer in 2005. Publication and catalogue information, links to buy online and reader comments.