Enlarge

Mechanised Reasoning and Hardware Design

C. A. R. Hoare

Publication Data

Title Mechanised Reasoning and Hardware Design
Author C. A. R. Hoare
Contributor M. J. C. Gordon
Publisher Prentice-Hall
Publication date 0000
Language English

Catalogue Data

OBNB ID GB92X9867
ISBN 10 0135724058
ISBN 13 n/a
Type BibliographicResource, Book

ISBD

P1053 [250]p.

Buy a copy

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

Mechanised Reasoning and Hardware Design by C. A. R. Hoare. ISBN 0135724058. Published by Prentice-Hall. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.