Springer
Iteration Theories: The Equational Logic of Iterative Processes
Product Code:
9783642780363
ISBN13:
9783642780363
Condition:
New
$118.37
Iteration Theories: The Equational Logic of Iterative Processes
$118.37
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.
| Author: Stephen L. Bloom |
| Publisher: Springer |
| Publication Date: Dec 16, 2011 |
| Number of Pages: 630 pages |
| Binding: Paperback or Softback |
| ISBN-10: 3642780369 |
| ISBN-13: 9783642780363 |
