Background in General Algebra and OBJ

Full Text Sign-In or Purchase

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Username

Password

Purchase PDF
Other Formats

Formats	Non-Member	Member
CHAPTER PDF	$15	$15

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

Already Purchased? View Article
Subscription Options Learn More

2 Author(s)

Goguen, J. ; Malcolm, G.

This chapter contains sections titled: Signatures, Algebras, Terms, Variables, Equations, Rewriting and Equational Deduction, Importing Modules, Literature, Exercises

Book Title :: Algebraic Semantics of Imperative Programs
Publisher :: MIT Press
Edition :: 1
Pages :: 11 - 50
Copyright Year :: 1996

ISBN :: 9780262288453
Product Type :
: MITP Books & eBooks

Author(s)

Goguen, J.
Malcolm, G.

Keywords are not available for this document.

Referenced Items are not available for this document.

No versions found for this document.

Standards Dictionary Terms are available to subscribers only.

| Create Account

IEEE Account

Purchase Details

Profile Information

Need Help?

US & Canada: +1 800 678 4333
Worldwide: +1 732 981 0060
Contact & Support

A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.

Please enter a valid username or password.

For Institutional Users:

More Search Options