Abstract Compositional Analysis of Iterated Relations: A Structural Approach to Complex State Transition Systems

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