Konferenzschrift | Kongress
2nd BCS FACS Northern Formal Methods Workshop : proceedings of the 2nd BCS FACS Northern Formal Methods Workshop, Ilkley, UK, 14 - 15 July 1997
- Alternative title
-
Second BCS FACS Northern Formal Methods Workshop
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540762157
3540762159
- Dimensions
-
21 cm
- Extent
-
11 S.
- Language
-
Englisch
- Notes
-
Auch im Internet unter der Adresse http://ewic.springer.co.uk/verfügbar
- Keyword
-
Formale Methode
- Event
-
Veröffentlichung
- (where)
-
London, Berlin, Heidelberg, New York, Barcelona, Budapest, Hong Kong, Milan, Paris, Santa Clara, Singapore, Tokyo
- (who)
-
Springer
- (when)
-
1998
- Contributor
-
Duke, David J.
British Computer Society. Specialist Group in Formal Aspects of Computing Science
Northern Formal Methods Workshop (2 : 1997 : 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:15 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 (2 : 1997 : Ilkley)
- Springer
Time of origin
- 1998
Other Objects (12)
BCS FACS Northern Formal Methods Workshop : proceedings of the BCS FACS Northern Formal Methods Workshop, Ilkley, UK, 23 - 24 September 1996
2nd Workshop on Formal Methods for Blockchains (FMBC 2020)
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
Formal aspects of measurement : proceedings of the BCS FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991
Facs - Gaje
Facs. 1
2nd Workshop on Kaon Production
2nd Huawei-IHES Workshop - Introduction
Introduction to 2nd NOKIA-IHES Workshop
Algorithms and data structures : 2nd workshop ; proceedings
2nd Workshop on Innovative Software Engineering Education
7th Refinement Workshop : proceedings of the BCS-FACS 7th Refinement Workshop, Bath, 3 - 5 July 1996
BCS FACS Northern Formal Methods Workshop : proceedings of the BCS FACS Northern Formal Methods Workshop, Ilkley, UK, 23 - 24 September 1996
2nd Workshop on Formal Methods for Blockchains (FMBC 2020)
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
Formal aspects of measurement : proceedings of the BCS FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991
Facs - Gaje
Facs. 1
2nd Workshop on Kaon Production
2nd Huawei-IHES Workshop - Introduction
Introduction to 2nd NOKIA-IHES Workshop
Algorithms and data structures : 2nd workshop ; proceedings
2nd Workshop on Innovative Software Engineering Education
7th Refinement Workshop : proceedings of the BCS-FACS 7th Refinement Workshop, Bath, 3 - 5 July 1996
BCS FACS Northern Formal Methods Workshop : proceedings of the BCS FACS Northern Formal Methods Workshop, Ilkley, UK, 23 - 24 September 1996
2nd Workshop on Formal Methods for Blockchains (FMBC 2020)
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
Formal aspects of measurement : proceedings of the BCS FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991
Facs - Gaje
Facs. 1
2nd Workshop on Kaon Production
2nd Huawei-IHES Workshop - Introduction
Introduction to 2nd NOKIA-IHES Workshop
Algorithms and data structures : 2nd workshop ; proceedings
2nd Workshop on Innovative Software Engineering Education