Skip to main content
PBS logo
 
 

Search - Algebraic Semantics of Imperative Programs (Foundations of Computing)

Algebraic Semantics of Imperative Programs (Foundations of Computing)
Algebraic Semantics of Imperative Programs - Foundations of Computing
Author: Joseph A. Goguen, Grant Malcolm
Algebraic Semantics of Imperative Programs presents a self-contained and novel "executable" introduction to formal reasoning about imperative programs. The authors' primary goal is to improve programming ability by improving intuition about what programs mean and how they run. — The semantics of imperative programs is specified in a formal...  more »
ISBN-13: 9780262071727
ISBN-10: 026207172X
Publication Date: 5/22/1996
Pages: 232
Rating:
  ?
0 stars, based on 0 rating
Publisher: The MIT Press
Book Type: Hardcover
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres:


Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.