1 - 5 of 5 results for "Charles Rattray"

Title: Specification and Verification of Concurrent Systems, Author: Charles Rattray
Title: Theories and Experiences for Real-Time System Development, Author: . Amast-fund
Title: Unified Computation Laboratory: Modelling, Specifications, and Tools, Author: Charles Rattray
Title: Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings / Edition 1, Author: Charles Rattray
Title: Geurst & Schulze: De aedibus international 7, Author: Charles Rattray