Konferenzschrift | Kongress
3rd Refinement Workshop : proceedings of the 3rd Refinement Workshop, 9 - 11 January 1990, Hursley Park
- Alternative title
-
Third Refinement Workshop
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540196242
3540196242
9780387196244
0387196242
- Dimensions
-
24 cm
- Extent
-
VII, 197 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Literaturangaben
- Keyword
-
Softwareentwicklung
Verfeinerung
- Event
-
Veröffentlichung
- (where)
-
London, Berlin, Heidelberg, New York, Paris, Tokyo, Hong Kong
- (who)
-
Springer
- (when)
-
1991
- Contributor
-
Morgan, Carroll
British Computer Society. Specialist Group in Formal Aspects of Computing Science
Refinement Workshop (3 : 1990 : Hursley Park)
- 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:29 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
- Morgan, Carroll
- British Computer Society. Specialist Group in Formal Aspects of Computing Science
- Refinement Workshop (3 : 1990 : Hursley Park)
- Springer
Time of origin
- 1991
Other Objects (12)
6th Refinement Workshop : proceedings of the 6th Refinement Workshop, London, 5 - 7 January 1994
5th Refinement Workshop : proceedings of the 5th Refinement Workshop, London, 8 - 10 January 1992
4th Refinement Workshop : proceedings of the 4th Refinement Workshop, 9 - 11 January 1991, Cambridge
7th Refinement Workshop : proceedings of the BCS-FACS 7th Refinement Workshop, Bath, 3 - 5 July 1996
Reachability problems : 3rd international workshop ; proceedings
Algorithm engineering : 3rd international workshop ; proceedings
Computer aided verification : 3rd international workshop ; proceedings
3rd Huawei-IHÉS Workshop - Introduction
3rd Workshop on Thermo-Mechanical Fatique - Interntional TMF-Workshop
3rd Probabilistic Workshop Technical Systems, Natural Hazards
Proceedings of the 3rd IUI Workshop on Interacting with Smart Objects
Proceedings of the 3rd Workshop on Corporate Governance in Europe: Einführung
6th Refinement Workshop : proceedings of the 6th Refinement Workshop, London, 5 - 7 January 1994
5th Refinement Workshop : proceedings of the 5th Refinement Workshop, London, 8 - 10 January 1992
4th Refinement Workshop : proceedings of the 4th Refinement Workshop, 9 - 11 January 1991, Cambridge
7th Refinement Workshop : proceedings of the BCS-FACS 7th Refinement Workshop, Bath, 3 - 5 July 1996
Reachability problems : 3rd international workshop ; proceedings
Algorithm engineering : 3rd international workshop ; proceedings
Computer aided verification : 3rd international workshop ; proceedings
3rd Huawei-IHÉS Workshop - Introduction
3rd Workshop on Thermo-Mechanical Fatique - Interntional TMF-Workshop
3rd Probabilistic Workshop Technical Systems, Natural Hazards
Proceedings of the 3rd IUI Workshop on Interacting with Smart Objects
Proceedings of the 3rd Workshop on Corporate Governance in Europe: Einführung
6th Refinement Workshop : proceedings of the 6th Refinement Workshop, London, 5 - 7 January 1994
5th Refinement Workshop : proceedings of the 5th Refinement Workshop, London, 8 - 10 January 1992
4th Refinement Workshop : proceedings of the 4th Refinement Workshop, 9 - 11 January 1991, Cambridge
7th Refinement Workshop : proceedings of the BCS-FACS 7th Refinement Workshop, Bath, 3 - 5 July 1996
Reachability problems : 3rd international workshop ; proceedings
Algorithm engineering : 3rd international workshop ; proceedings
Computer aided verification : 3rd international workshop ; proceedings
3rd Huawei-IHÉS Workshop - Introduction
3rd Workshop on Thermo-Mechanical Fatique - Interntional TMF-Workshop
3rd Probabilistic Workshop Technical Systems, Natural Hazards
Proceedings of the 3rd IUI Workshop on Interacting with Smart Objects