Charles Rattray – författare

Visar alla böcker från författaren Charles Rattray. Handla med fri frakt och snabb leverans.

7 produkter

1. 

   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

   Av Giuseppe Scollo, Teodor Rus m. fl.

   E-bok, 2012

   755 kr

   Lägg i varukorg

   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 ad-hoc approaches commonly used in software engineering and development. The first two AMAST conferences, held …

2. 

   Specification and Verification of Concurrent Systems

   Av Charles Rattray

   E-bok, 2013

   734 kr

   Lägg i varukorg

   This volume contains 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. Specification and verification techniques are playing an increasingly important role in the design and production of …

3. 

   Specification and Verification of Concurrent Systems

   Av Charles Rattray

   Häftad, 1990

   569 kr

   Lägg i varukorg

   This volume contains 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. Specification and verification techniques are playing an increasingly important role in the design and production of …

4. 

   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

   Av Maurice Nivat, Charles Rattray m. fl.

   Häftad, 1993

   569 kr

   Lägg i varukorg

   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 ad-hoc approaches commonly used in software engineering and development. The first two AMAST conferences, held …

5. 

   Algebraic Methodology and Software Technology

   10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings

   Av Charles Rattray, Savitri Maharaj

   Häftad, 2004

   569 kr

   Lägg i varukorg

   This volume contains the proceedings of AMAST 2004, the 10th International Conference on Algebraic Methodology and Software Technology, held during July 12-16,2004,in Stirling, Scotland, UK. The major goalof the AMAST c- ferences is to promote research that may lead to the setting of software …

6. 

   Algebraic Methodology and Software Technology

   10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings

   Av Savitri Maharaj, Charles Rattray

   E-bok, 2004

   755 kr

   Lägg i varukorg

7. 

   THEORIES AND EXPERIENCES FOR REAL-TIME SYSTEM DEVELOPMENT

   Av Charles Rattray, Teodor Rus m. fl.

   Inbunden, 1995

   2498 kr

   Tillfälligt slut

   Our understanding of real-time systems is rapidly approaching a level of maturity which calls for a consolidation of our present knowledge and experience. Particularly effective in influencing our understanding has been the conjoining of universal algebra with the theory and practice of real-time …