Specification and Analysis of Concurrent Systems - 9783642773396

Rattray - Specification and Verification of Concurrent Systems - New p - X555z

Shi - Specification and Analysis of Software Architectures - New paper - X555z

Hangos - Analysis and Control of Nonlinear Process Systems - New paper - X555z

Safar - Shape Analysis and Retrieval of Multimedia Objects - New paper - X555z

Astesiano - Algebraic Foundations of Systems Specification - New paper - X555z

Langer - Analysis and Design of Information Systems - New paperback or - X555z

Caillaud - Synthesis and Control of Discrete Event Systems - New paper - X555z