booktheque

Algebraic Approaches to Program Semantics

Ernest G. Manes, Michael A. Arbib · 1986

Where to buy

Check today’s price on Amazon. We do not show prices because they change daily.

View on Amazon

Affiliate link. As an Amazon Associate we earn from qualifying purchases.

About the book

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

Book details

Year
1986
Language
English
Series
Texts and Monographs in Computer Science, The AKM Series in Theoretical Computer Science
Publisher
Springer New York
Editions
3
Pages
351
ISBN
9781461293774

Data source: Wikidata

More by Ernest G. Manes