Mathematical Logic and Programming Languages (Prentice-hall International Series in Computer Science)

by C. A. R. Hoare

Hardcover

details (USA).

ISBN: 978-0-13-561465-5

ISBN-10: 0-13-561465-1

Prentice Hall · 1985