Iteration Theories: The Equational Logic of Iterative Processes (Monographs in Theoretical Computer Science. An EATCS Series)

Equational

von Stephen L. Bloom

Taschenbuch

ISBN: 978-3-642-78036-3

ISBN-10: 3-642-78036-9

Springer Berlin Heidelberg · 1993
S. auch:
1993Gebundene AusgabeIteration Theories: The Equational Logic of Iterative Processes (Monographs in Theoretical Computer Science. An EATCS Series)