Monografie
3rd Refinement Workshop : proceedings of the 3rd Refinement Workshop, 9 - 11 January 1990, Hursley Park
- Sprache
-
Deutsch
- Umfang
-
VII, 197 S.
- ISBN
-
978-3-540-19624-2
- Identifier
-
941124991
- Reihe
-
Workshops in Computing
Thema
Softwareentwicklung ; Verfeinerung ; Konferenzschrift Hursley; Kongress Hursley <1990>
Beteiligte Personen und Organisationen
Morgan, Carroll
British Computer Society / Specialist Group in Formal Aspects of Computing Science
British Computer Society / Specialist Group in Formal Aspects of Computing Science
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.04.2024, 08:50 MESZ
Objekttyp
- Monografie
Beteiligte
- Morgan, Carroll
- British Computer Society / Specialist Group in Formal Aspects of Computing Science
Ähnliche Objekte (12)
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
Semantics for concurrency : proceedings of the international BCS-FACS workshop, 23 - 25 July 1990, University of Leicester, UK
Specification and verification of concurrent systems
Theory and formal methods 1993 : proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29 - 31 March 1993
Refinement in Z and object-Z : foundations and advanced applications
Research and development in intelligent systems XVI : proceedings of ES99, the nineteenth SGES International Conference on Knowledge Based Systems and Applied Artificial Intelligence, Cambridge, December 1999
Embedded and ubiquitous computing : proceedings
Methodologies for developing and managing emerging technology based information systems : information systems methodologies 1998 ; proceedings of the sixth international conference of the British Computer Society Information Systems Methodologies Specialist Group, held on 25 - 27th August 1998
Formal methods for mobile computing
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
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
Semantics for concurrency : proceedings of the international BCS-FACS workshop, 23 - 25 July 1990, University of Leicester, UK
Specification and verification of concurrent systems
Theory and formal methods 1993 : proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29 - 31 March 1993
Refinement in Z and object-Z : foundations and advanced applications
Research and development in intelligent systems XVI : proceedings of ES99, the nineteenth SGES International Conference on Knowledge Based Systems and Applied Artificial Intelligence, Cambridge, December 1999
Embedded and ubiquitous computing : proceedings
Methodologies for developing and managing emerging technology based information systems : information systems methodologies 1998 ; proceedings of the sixth international conference of the British Computer Society Information Systems Methodologies Specialist Group, held on 25 - 27th August 1998
Formal methods for mobile computing
Formal methods and software engineering : proceedings
Formal methods and software engineering : proceedings
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
Semantics for concurrency : proceedings of the international BCS-FACS workshop, 23 - 25 July 1990, University of Leicester, UK
Specification and verification of concurrent systems
Theory and formal methods 1993 : proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29 - 31 March 1993
Refinement in Z and object-Z : foundations and advanced applications
Research and development in intelligent systems XVI : proceedings of ES99, the nineteenth SGES International Conference on Knowledge Based Systems and Applied Artificial Intelligence, Cambridge, December 1999
Embedded and ubiquitous computing : proceedings
Methodologies for developing and managing emerging technology based information systems : information systems methodologies 1998 ; proceedings of the sixth international conference of the British Computer Society Information Systems Methodologies Specialist Group, held on 25 - 27th August 1998
Formal methods for mobile computing
Formal methods and software engineering : proceedings