An edition of Algebraic semantics of imperative programs (1996)

Algebraic semantics of imperative programs

by

Cover of: Algebraic semantics of imperative programs by Joseph Goguen, Joseph Goguen
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
August 17, 2024 | History
Edit
An edition of Algebraic semantics of imperative programs (1996)

Algebraic semantics of imperative programs

by

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
MIT Press, The MIT Press
Language
English
Pages
228

Check nearby libraries

Buy this book

Previews available in: English

Subjects

Programming languages (Electronic computers), Semantics, Algebra, Sémantique algébrique, OBJ, Funktionale Semantik, Programmeren (computers), Programmation logique, Programme impératif, Algèbre, Algebraïsche taalkunde, Langages de programmation, Programmation (mathématiques), Semantiek, Sémantique, Computer science

Showing 1 featured edition. View all 1 editions?

Edition Availability
Cover of: Algebraic semantics of imperative programs
Algebraic semantics of imperative programs
1996, MIT Press, The MIT Press
in English
  • Not in Library
Libraries near you: WorldCat

Add another edition?

Book Details

Edition Notes

Includes bibliographical references (p. [223]-225) and index.

Published in
Cambridge, Mass
Series
Foundations of computing

Classifications

Dewey Decimal Class
005.13/1
Library of Congress
QA76.7 .G62 1996, QA76.7.G62 1996

The Physical Object

Pagination
vii, 228 p. :
Number of pages
228

ID Numbers

Open Library
OL810575M
Internet Archive
algebraicsemanti00gogu
ISBN 10
026207172X
LCCN
95047440
OCLC/WorldCat
33439655
Library Thing
1260523
Digital Object Identifier (DOI)
10.1604/9780262071727
Goodreads
2464258

Source records

Internet Archive item record
Internet Archive item record
Library of Congress MARC record
Promise Item
Internet Archive item record
marc_columbia MARC record
Better World Books record

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
August 17, 2024 Edited by ImportBot import existing book
June 28, 2019 Edited by MARC Bot import existing book
April 28, 2010 Edited by Open Library Bot Linked existing covers to the work.
February 11, 2010 Edited by WorkBot add more information to works
December 10, 2009 Created by WorkBot add works page