Treffer 1 - 9 von 9 für Suche 'Rattray, Charles', Suchdauer: 0,28s Treffer weiter einschränken
  1. 1
    Theories and experiences for real-time system development
    Veröffentlicht 1994
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Algebraic methodology and software technology : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12 - 16, 2004 ; proceedings
    Veröffentlicht 2004
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Algebraic methodology and software technology : 10th international conference, AMAST 2004, Stirling, Scotland, UK, July 12 - 16, 2004 ; proceedings
    Veröffentlicht 2004
    Cover
    Einführung/Vorwort
    Inhaltsverzeichnis
    Inhaltstext
    Publisher description
    Full Text
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Algebraic methodology and software technology : 10th international conference ; proceedings
    Veröffentlicht 2004
    Vorwort
    Inhaltsverzeichnis
    Buchumschlag
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Geurst & Schulze Architecten, Den Haag
    Veröffentlicht 2013
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  6. 6
    ˜Theœ unified computation laboratory : modelling, specifications, and tools ; based on the proceedings of a conference on The Unified Computation Laboratory, organized by the Institute of Mathematics and its Applications and held at the University of Stirling in July 1990
    Veröffentlicht 1992
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  7. 7
    The unified computation laboratory : modelling, specifications and tools ; based on the proceedings of a Conference on the Unified Computation Laboratory
    Veröffentlicht 1992
    Inhaltsverzeichnis
    Inhaltstext
    Publisher description
    Table of contents
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Specification and verification of concurrent systems
    Veröffentlicht 1990
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Specification and verification of concurrent systems
    Veröffentlicht 1990
    Cover
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: