Abstract compositional analysis of iterated relations
Subtitle: a structural approach to complex state transition systems
By: Frédéric Geurts.
Series: Lecture notes in computer science -- 1426.
Publisher: Springer Berlin Heidelberg
Published: 1999
Place of publication: Berlin; New York
Language: eng
Number of pages: 280
Subjects: Abstract data types.; System analysis.; Electronic data processing -- Structured techniques.
Notes: Includes bibliographical references and index.