Cover 1

Algebraic Semantics of Imperative Programs

Cover 1

Algebraic Semantics of Imperative Programs

Algebraic Semantics of Imperative Programs

By

Joseph A. Goguen,

By

Joseph A. Goguen,

1996

Community

Readers & Supporters

Join Our Discord

Follow Along

Blog Hardcover Live About Hardcover Request a feature

We're an Open Book

Frequently Asked Questions Contact Support Roadmap Our Policies