Shelfclass_id |
3.D.1 |
Sortkey |
GEURTS, FRÉDÉRIC |
Authors |
Frédéric Geurts |
Title |
Abstract Compositional Analysis of Iterated Relations: A Structural Approach to Complex State Transition Systems |
Publisher |
Springer |
Year |
1998 |
Languages |
eng |
Isbn |
3540655069, 9783540655060 |
Series |
Lecture Notes in Computer Science |
Volume |
1426 |
Issn |
0302-9743 |
Description |
xiv, 280 p. ill. 24 cm |
Record date |
20110325 |
Location |
New York |
Keywords |
Abstract data types (Computer science), System analysis, Electronic data processing, Structured techniques |