Mechanized Reasoning and Hardware Design (Prentice-hall International Series in Computer Science)

by: C. A. R. Hoare · Michael J. C. Gordan

Hardcover

details (USA).

ISBN: 978-0-13-572405-7

ISBN-10: 0-13-572405-8

Prentice Hall · 1992