Konferenzschrift | Kongress
5th Refinement Workshop : proceedings of the 5th Refinement Workshop, London, 8 - 10 January 1992
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540197522
3540197524
9780387197524
0387197524
- Dimensions
-
24 cm
- Extent
-
VIII, 378 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Keyword
-
Softwareentwicklung
Verfeinerung
- Event
-
Veröffentlichung
- (where)
-
London, Berlin, Heidelberg, New York, Paris, Tokyo, Hong Kong, Barcelona, Budapest
- (who)
-
Springer
- (when)
-
1992
- Contributor
-
Jones, Cliff B.
British Computer Society. Specialist Group in Formal Aspects of Computing Science
Refinement Workshop (5 : 1992 : London)
- 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:11 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
- Jones, Cliff B.
- British Computer Society. Specialist Group in Formal Aspects of Computing Science
- Refinement Workshop (5 : 1992 : London)
- Springer
Time of origin
- 1992
Other Objects (12)
6th Refinement Workshop : proceedings of the 6th Refinement Workshop, London, 5 - 7 January 1994
4th Refinement Workshop : proceedings of the 4th Refinement Workshop, 9 - 11 January 1991, Cambridge
3rd Refinement Workshop : proceedings of the 3rd Refinement Workshop, 9 - 11 January 1990, Hursley Park
7th Refinement Workshop : proceedings of the BCS-FACS 7th Refinement Workshop, Bath, 3 - 5 July 1996
Digital watermarking : 5th international workshop ; proceedings
Distributed algorithms : 5th international workshop ; proceedings
Computer science logic : 5th workshop ; proceedings
Algorithm engineering : 5th international workshop ; proceedings
Reachability problems : 5th international workshop ; proceedings
Experimental algorithms : 5th international workshop ; proceedings
Hybrid metaheuristics : 5th international workshop ; proceedings
Self-stabilizing systems : 5th international workshop ; proceedings
6th Refinement Workshop : proceedings of the 6th Refinement Workshop, London, 5 - 7 January 1994
4th Refinement Workshop : proceedings of the 4th Refinement Workshop, 9 - 11 January 1991, Cambridge
3rd Refinement Workshop : proceedings of the 3rd Refinement Workshop, 9 - 11 January 1990, Hursley Park
7th Refinement Workshop : proceedings of the BCS-FACS 7th Refinement Workshop, Bath, 3 - 5 July 1996
Digital watermarking : 5th international workshop ; proceedings
Distributed algorithms : 5th international workshop ; proceedings
Computer science logic : 5th workshop ; proceedings
Algorithm engineering : 5th international workshop ; proceedings
Reachability problems : 5th international workshop ; proceedings
Experimental algorithms : 5th international workshop ; proceedings
Hybrid metaheuristics : 5th international workshop ; proceedings
Self-stabilizing systems : 5th international workshop ; proceedings
6th Refinement Workshop : proceedings of the 6th Refinement Workshop, London, 5 - 7 January 1994
4th Refinement Workshop : proceedings of the 4th Refinement Workshop, 9 - 11 January 1991, Cambridge
3rd Refinement Workshop : proceedings of the 3rd Refinement Workshop, 9 - 11 January 1990, Hursley Park
7th Refinement Workshop : proceedings of the BCS-FACS 7th Refinement Workshop, Bath, 3 - 5 July 1996
Digital watermarking : 5th international workshop ; proceedings
Distributed algorithms : 5th international workshop ; proceedings
Computer science logic : 5th workshop ; proceedings
Algorithm engineering : 5th international workshop ; proceedings
Reachability problems : 5th international workshop ; proceedings
Experimental algorithms : 5th international workshop ; proceedings
Hybrid metaheuristics : 5th international workshop ; proceedings