Algebraic Semantics of Imperative Programs (Foundations of Computing)

Imperative

by: Joseph A. Goguen · Grant Malcolm

Hardcover

details (USA).

ISBN: 978-0-262-07172-7

ISBN-10: 0-262-07172-X

The MIT Press · 1996