Treffer 1 - 19 von 19 für Suche 'British Computer Society Specialist Group in Formal Aspects of Computing Science', Suchdauer: 0,42s Treffer weiter einschränken
  1. 1
    Semantics for concurrency : proceedings of the international BCS-FACS workshop, 23 - 25 July 1990, University of Leicester, UK
    Veröffentlicht 1990
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  2. 2
    6th Refinement Workshop : proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5 - 7 January 1994
    Veröffentlicht 1994
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Proceedings of the 5th Refinement Workshop : 8 - 10 January 1992, London
    Veröffentlicht 1992
    Cover
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  4. 4
    4th Refinement Workshop : proceedings of the 4th Refinement Workshop, 9 - 11 January 1991, Cambridge
    Veröffentlicht 1991
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Proceedings of the 4th Refinement Workshop : 9 - 11 January 1991, Cambridge
    Veröffentlicht 1991
    Cover
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  6. 6
    5th Refinement Workshop : proceedings of the 5th Refinement Workshop, London, 8 - 10 January 1992
    Veröffentlicht 1992
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  7. 7
    3rd Refinement Workshop : proceedings of the 3rd Refinement Workshop (organised by BCS-FACS ...) ; 9 - 11 January 1990, Hursley Park
    Veröffentlicht 1991
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Proceedings of the 3rd Refinement Workshop : 9 - 11 January 1990, Hursley Park
    Veröffentlicht 1991
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Proceedings of the BCS-FACS 7th Refinement Workshop : Bath, 3 - 5 July 1996
    Veröffentlicht 1997
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Semantics for concurrency : proceedings of the international BCS-FACS workshop, 23 - 25 July 1990, University of Leicester, UK
    Veröffentlicht 1990
    Inhaltsverzeichnis
    Cover
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Formal aspects of measurement : proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991
    Veröffentlicht 1992
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Formal aspects of measurement : proceedings of the BCS FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991
    Veröffentlicht 1992
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  13. 13
    5th Refinement Workshop : proceedings of the 5th Refinement Workshop, organized by BCS-FACS, London, 8 - 10 January 1992
    Veröffentlicht 1992
    UnknownFormat

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

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

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Veröffentlicht 1997
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  17. 17
    BCS-FACS Northern Formal Methods Workshop : proceedings of the BCS-FACS Northern Formal Methods Workshop, Ilkley, UK, 23 - 24 September 1996 ; [abstracts of papers]
    Veröffentlicht 1997
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Proceedings of the 2nd BCS-FACS Northern Formal Methods Workshop : Ilkley, UK, 14 - 15 July 1997
    Veröffentlicht 1998
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  19. 19
    International Refinement Workshop & Formal Methods Pacific '98 : proceedings of IRW/FMP '98, 29 September - 2 October 1998, Canberra, Australia
    Veröffentlicht 1998
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: