Iteration Theories
Bloom, Stephen L.; Esik, Zoltan
€ 131.15
FREE Delivery in Ireland
Description for Iteration Theories
Paperback. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 645 pages, biography. BIC Classification: PBC; UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 33. Weight in Grams: 971.
This monograph contains the results of our joint research over the last ten years on the logic of the fixed point operation. The intended au dience consists of graduate students and research scientists interested in mathematical treatments of semantics. We assume the reader has a good mathematical background, although we provide some prelimi nary facts in Chapter 1. Written both for graduate students and research scientists in theoret ical computer science and mathematics, the book provides a detailed investigation of the properties of the fixed point or iteration operation. Iteration plays a fundamental role in the theory of computation: for ... Read more
This monograph contains the results of our joint research over the last ten years on the logic of the fixed point operation. The intended au dience consists of graduate students and research scientists interested in mathematical treatments of semantics. We assume the reader has a good mathematical background, although we provide some prelimi nary facts in Chapter 1. Written both for graduate students and research scientists in theoret ical computer science and mathematics, the book provides a detailed investigation of the properties of the fixed point or iteration operation. Iteration plays a fundamental role in the theory of computation: for ... Read more
Product Details
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
645
Condition
New
Series
Monographs in Theoretical Computer Science : An Eatcs Series
Number of Pages
630
Place of Publication
Berlin, Germany
ISBN
9783642780363
SKU
V9783642780363
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Iteration Theories