Konferenzschrift | Kongress
BCS FACS Northern Formal Methods Workshop : proceedings of the BCS FACS Northern Formal Methods Workshop, Ilkley, UK, 23 - 24 September 1996
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540761174
3540761179
- Dimensions
-
21 cm
- Extent
-
10 S.
- Language
-
Englisch
- Keyword
-
Formale Spezifikationstechnik
- Event
-
Veröffentlichung
- (where)
-
London, Berlin, Heidelberg, New York, Barcelona, Budapest, Hong Kong, Milan, Paris, Santa Clara, Singapore, Tokyo
- (who)
-
Springer
- (when)
-
1997
- Contributor
-
Duke, David J.
British Computer Society. Specialist Group in Formal Aspects of Computing Science
Northern Formal Methods Workshop (1996 : Ilkley)
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:25 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Konferenzschrift
- Kongress
Associated
- Duke, David J.
- British Computer Society. Specialist Group in Formal Aspects of Computing Science
- Northern Formal Methods Workshop (1996 : Ilkley)
- Springer
Time of origin
- 1997
Other Objects (12)
2nd BCS FACS Northern Formal Methods Workshop : proceedings of the 2nd BCS FACS Northern Formal Methods Workshop, Ilkley, UK, 14 - 15 July 1997
BCS FACS Workshop on Formal Aspects of the Human Computer Interface : proceedings of the BCS FACS Workshop on Formal Aspects of the Human Computer Interface, Sheffield Hallam University, 10 - 12 September 1996
1st Irish Workshop on Formal Methods : proceedings of the 1st Irish Workshop on Formal Methods, Dublin, 3 - 4 July 1997
Web services and formal methods : third international workshop ; proceedings
2nd Workshop on Formal Methods for Blockchains (FMBC 2020)
Formal methods in systems biology : first international workshop ; proceedings
Web services and formal methods : 4th international workshop ; proceedings
Formal aspects of measurement : proceedings of the BCS FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991
Facs. 1
Facs - Gaje
Formal methods for industrial critical systems : 15th international workshop ; proceedings
3rd International Workshop on Formal Methods for Blockchains (FMBC 2021)
2nd BCS FACS Northern Formal Methods Workshop : proceedings of the 2nd BCS FACS Northern Formal Methods Workshop, Ilkley, UK, 14 - 15 July 1997
BCS FACS Workshop on Formal Aspects of the Human Computer Interface : proceedings of the BCS FACS Workshop on Formal Aspects of the Human Computer Interface, Sheffield Hallam University, 10 - 12 September 1996
1st Irish Workshop on Formal Methods : proceedings of the 1st Irish Workshop on Formal Methods, Dublin, 3 - 4 July 1997
Web services and formal methods : third international workshop ; proceedings
2nd Workshop on Formal Methods for Blockchains (FMBC 2020)
Formal methods in systems biology : first international workshop ; proceedings
Web services and formal methods : 4th international workshop ; proceedings
Formal aspects of measurement : proceedings of the BCS FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991
Facs. 1
Facs - Gaje
Formal methods for industrial critical systems : 15th international workshop ; proceedings
3rd International Workshop on Formal Methods for Blockchains (FMBC 2021)
2nd BCS FACS Northern Formal Methods Workshop : proceedings of the 2nd BCS FACS Northern Formal Methods Workshop, Ilkley, UK, 14 - 15 July 1997
BCS FACS Workshop on Formal Aspects of the Human Computer Interface : proceedings of the BCS FACS Workshop on Formal Aspects of the Human Computer Interface, Sheffield Hallam University, 10 - 12 September 1996
1st Irish Workshop on Formal Methods : proceedings of the 1st Irish Workshop on Formal Methods, Dublin, 3 - 4 July 1997
Web services and formal methods : third international workshop ; proceedings
2nd Workshop on Formal Methods for Blockchains (FMBC 2020)
Formal methods in systems biology : first international workshop ; proceedings
Web services and formal methods : 4th international workshop ; proceedings
Formal aspects of measurement : proceedings of the BCS FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991
Facs. 1
Facs - Gaje
Formal methods for industrial critical systems : 15th international workshop ; proceedings