Algebraic Semantics of Imperative Programs

Foundations of Computing

Algebraic Semantics of Imperative Programs

by Joseph A. Goguen and Grant Malcolm

Hardcover

$45.00

Hardcover

ISBN: 9780262071727

Pub date: May 22, 1996

Publisher: The MIT Press

240 pp., 7 x 9 in,