Produktbild: Iteration Theories

Iteration Theories

Lieferzeit: Lieferbar innerhalb 14 Tagen

106,99 €

inkl. 7 % MwSt. zzgl. Versandkosten

The Equational Logic of Iterative Processes, Monographs in Theoretical Computer Science. An EATCS Series

ISBN: 3642780369
ISBN 13: 9783642780363
Autor: Bloom, Stephen L/Esik, Zoltan
Verlag: Springer Verlag GmbH
Umfang: xv, 630 S.
Erscheinungsdatum: 16.12.2011
Auflage: 1/2011
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 4381244 Kategorie:

Beschreibung

This monograph provides a detailed investigation of the fixed point or iteration operation, which plays a fundamental role in the theory of computation. The reader is introduced to universal algebra, guided through numerous theorems and applications, and shown that correctness logic is a special case of the equational logic of iteration theories.

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …