An edition of Algebraic Approaches to Program Semantics (1986)

Algebraic Approaches to Program Semantics

by and

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Cover of: Algebraic Approaches to Program Semantics by Ernest G. Manes, Michael A. Arbib
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
  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
June 17, 2020 | History
Edit
An edition of Algebraic Approaches to Program Semantics (1986)

Algebraic Approaches to Program Semantics

by and

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

Formal description of control, recursion and data structures using two semantic descriptions: denotational and partially additive.

Publish Date
Publisher
Springer
Pages
372

Check nearby libraries

Buy this book

Previews available in: English

Subjects
Logic design, Computer science, Artificial intelligence, Programming languages (electronic computers)

Showing 2 featured editions. View all 2 editions?

Edition Availability
Cover of: Algebraic Approaches to Program Semantics
Algebraic Approaches to Program Semantics
Feb 25, 2014, Springer
paperback
  • Not in Library
Libraries near you: WorldCat
Cover of: Algebraic Approaches to Program Semantics
Algebraic Approaches to Program Semantics
1986, Springer New York
electronic resource / in English
Libraries near you: WorldCat

Add another edition?

Book Details

The Physical Object

Format
paperback
Number of pages
372

ID Numbers

Open Library
OL28265330M
ISBN 10
1461249635
ISBN 13
9781461249634

Source records

amazon.com 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 / OPDS | Wikipedia citation
June 17, 2020 Created by ImportBot Imported from amazon.com record