The weakest prespecification :: C. A. R. Hoare :: Oxford University Computing Laboratory, Programming Research Group 1985 :: OBNB, the Open British National Bibliography

Publication Data

Title The weakest prespecification
Author C. A. R. Hoare
Contributors Jifeng He, Jifeng He
Publisher Oxford University Computing Laboratory, Programming Research Group
Publication date 1985
Publication location Oxford
Language English

Topics

Electronic digital computers :: Programming
Logic, Symbolic and mathematical

Catalogue Data

OBNB ID GB8933955
ISBN 10 n/a
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 005.131

ISBD

P1053 60p.
P1042 Bibliography: p44.

Buy a copy

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

The weakest prespecification by C. A. R. Hoare. Published by Oxford University Computing Laboratory, Programming Research Group in 1985. Publication and catalogue information, links to buy online and reader comments.