Katalog der Deutschen Nationalbibliothek

Go to:

Media

Available in Frankfurt
Available in Frankfurt
Available in Leipzig
Available in Leipzig
Source
buchhandel.de

Stephen L. Bloom and Zoltán Ésik

Iteration theories : equational logic of iterative processes

Berlin, Heidelberg, New York, London, Paris, Tokyo, Hong Kong, Barcelona, Budapest: Springer, 1993

Title

Iteration theories : equational logic of iterative processes / Stephen L. Bloom ; Zoltán Ésik

Involved 

Stephen L. Bloom (Verfasser)
Zoltán Ésik (Verfasser)

Published

Berlin, Heidelberg, New York, London, Paris, Tokyo, Hong Kong, Barcelona, Budapest: Springer
1993

Extent

XV, 630 S.

ISBN

978-3-540-56378-5
978-0-387-56378-7

Topic

Informatik

Subject

Iterationstheorie
Fixpunkt (Datensicherung)

Series

EATCS monographs on theoretical computer science

Other editions

Erscheint auch als Online-Ausgabe: Iteration Theories : The Equational Logic of Iterative Processes

Further information

Literaturverz. S. 621 - 630

Record ID

930455339
Please note

The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link:

DNB portal