Search results for ‘Charles Rattray’

Filter & Refine

      Cover image for Specification and Verification of Concurrent Systems
      Paperback
      Add to list Added to list

      Specification and Verification of Concurrent Systems

      Papers presented at the BCS-FACS Workshop on Specification and Verification of Concurrent Systems held on 6-8 July 1988, at the University of Stirling, Scotland –Pref.

      $138.99

      Available to order, ships in 7-14 daysAvailable to order

      Cover image for Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings
      Paperback
      Add to list Added to list

      Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings

      This book constitutes the refereed proceedings of the 10th International Conference on Algebraic Methodology and Software Technology, AMAST 2004, held in Stirling, Scotland, UK in July 2004. The 35 revised…

      $138.99

      Available to order, ships in 7-14 daysAvailable to order

      Cover image for Geurst and Schulze: de Aedibus International 7
      Paperback
      Add to list Added to list

      Geurst and Schulze: de Aedibus International 7

      Charles Rattray

      The work by Jeroen Geurst and Rens Schulze with their office in The Hague includes countless major buildings and facilities, mostly in an urban environment, which behave in an eminently…

      $112.99

      Available to order, ships in approx 4 weeksAvailable to order

      Cover image for Theories And Experiences For Real-time System Development
      Hardback
      Add to list Added to list

      Theories And Experiences For Real-time System Development

      Charles Rattray (Univ Of Stirling, Uk),Teodor Rus (Univ Of Iowa, Usa),Teodor Rus (Univ Of Iowa, Usa)

      This text on real-time system development focuses the interplay between algebraic methodology and software technology (AMAST). It covers topics including: real-time CSP; system design using temporal logic; symbolic checking of…

      $535.99

      Available to order, ships in approx 4 weeksAvailable to order

      Cover image for Algebraic Methodology and Software Technology (AMAST'93): Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands 21-25 June 1993
      Paperback
      Add to list Added to list

      Algebraic Methodology and Software Technology (AMAST'93): Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands 21-25 June 1993

      The goal of the AMAST conferences is to foster algebraic methodology as a foundation for software technology, and to show that this can lead to practical mathematical alternatives to the…

      $138.99

      Available to order, ships in 7-14 daysAvailable to order

      Cover image for Topical Building: Hugh Cullum Architects
      Paperback
      Add to list Added to list

      Topical Building: Hugh Cullum Architects

      Hugh Cullum

      Topical Building provides a timely reflection on the work of Hugh Cullum Architects, a practice notable for thoughtful and sensitive design.

      $90.99

      Available to order, ships in approx 4 weeksAvailable to order