Número de Cutter-SanbornM274aEntrada «Mane» → 274 · marca de obra “a”

Algebraic Approaches to Program Semantics

Name: Algebraic Approaches to Program Semantics
ISBN: 9781461249634

Autor	Ernest G. Manes, Michael A. Arbib
Editorial	Springer
Fecha de publicación	Feb 25, 2014
Páginas	372
Formato	paperback
ISBN-13	9781461249634
ISBN-10	1461249635
Número de Cutter	`M274a`

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

Algebraic Approaches to Program Semantics (2014) — ISBN 9781461249634 | Cutter Number