English Books > Mathematics > Discrete Mathematics > Algebraic Semantics Of Imperative Programs

Algebraic Semantics Of Imperative Programs
Author: Goguen, Joseph; Author: With Malcolm, Grant
Foundations of Computing; Hardback; Book
240 pages
Published: May 1996
The MIT Press
ISBN: 026207172X

This volume presents a self-contained introduction to formal reasoning about imperative programs. The author's primary goal is to improve programming ability by improving intuition about what programs mean and how they run.


PRODUCT CODE: 026207172X
USA/Canada:
US$ 56.20



Google
Delivery costs included if your total order exceeds US$50.
We do not charge your credit card until we ship your order.
Government and corporate Purchase Orders accepted without prior account application.
To prepare to buy this item click "add to cart" above. You can change or abandon your shopping cart at any time before checkout.
Check on order progress and dispatch.
Please E-mail us within one hour
The NetStoreUSA website is operated by Open Communications, Inc
an Arizona corporation, which has successfully served
the Internet community since 1994.



Copyright © 2008 Open Communications, Inc
®Open Communications is a Registered Trade Mark.
This material may be freely distributed ONLY with full reference to Open Communications Inc,
including fax, phone, e-mail, and world-wide web details.
This material is an invitation to treat and not an offer.
We reserve the right to decline orders received from this site.
Prices subject to change to be advised on confirmation of order.
Not all titles listed are in print.
Home Page: http://www.NetStoreUSA.com/
Site Map