- Sprache
-
Englisch
- Umfang
-
VIII, 612 S.
- ISBN
-
978-3-540-19581-8
- Identifier
-
901310379
- Reihe
-
Workshops in Computing
Thema
Spezifikation ; Nebenläufigkeit ; Verifikation ; Konferenzschrift Stirling; Kongress Stirling <1988>
Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.04.2024, 08:44 MESZ
Objekttyp
- Monografie
Beteiligte
Ähnliche Objekte (12)
Semantics for concurrency : proceedings of the international BCS-FACS workshop, 23 - 25 July 1990, University of Leicester, UK
2nd BCS FACS Northern Formal Methods Workshop : proceedings of the 2nd BCS FACS Northern Formal Methods Workshop, Ilkley, UK, 14 - 15 July 1997
Formal aspects of measurement : proceedings of the BCS FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991
3rd Refinement Workshop : proceedings of the 3rd Refinement Workshop, 9 - 11 January 1990, Hursley Park
Algebraic methodology and software technology : 10th international conference ; proceedings
Algebra of communicating processes : proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, The Netherlands, 16 - 17 May 1994
Principles of security and trust : third international conference ; proceedings
Programming languages and systems : proceedings
Programming languages and systems : proceedings
Modal and temporal properties of processes
Principles of security and trust : second international conference ; proceedings
Programming languages and systems : proceedings
Semantics for concurrency : proceedings of the international BCS-FACS workshop, 23 - 25 July 1990, University of Leicester, UK
2nd BCS FACS Northern Formal Methods Workshop : proceedings of the 2nd BCS FACS Northern Formal Methods Workshop, Ilkley, UK, 14 - 15 July 1997
Formal aspects of measurement : proceedings of the BCS FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991
3rd Refinement Workshop : proceedings of the 3rd Refinement Workshop, 9 - 11 January 1990, Hursley Park
Algebraic methodology and software technology : 10th international conference ; proceedings
Algebra of communicating processes : proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, The Netherlands, 16 - 17 May 1994
Principles of security and trust : third international conference ; proceedings
Programming languages and systems : proceedings
Programming languages and systems : proceedings
Modal and temporal properties of processes
Principles of security and trust : second international conference ; proceedings
Programming languages and systems : proceedings
Semantics for concurrency : proceedings of the international BCS-FACS workshop, 23 - 25 July 1990, University of Leicester, UK
2nd BCS FACS Northern Formal Methods Workshop : proceedings of the 2nd BCS FACS Northern Formal Methods Workshop, Ilkley, UK, 14 - 15 July 1997
Formal aspects of measurement : proceedings of the BCS FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991
3rd Refinement Workshop : proceedings of the 3rd Refinement Workshop, 9 - 11 January 1990, Hursley Park
Algebraic methodology and software technology : 10th international conference ; proceedings
Algebra of communicating processes : proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, The Netherlands, 16 - 17 May 1994
Principles of security and trust : third international conference ; proceedings
Programming languages and systems : proceedings
Programming languages and systems : proceedings
Modal and temporal properties of processes
Principles of security and trust : second international conference ; proceedings