Konferenzschrift | Kongress
Industrial benefit and advances in formal methods : proceedings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540609735
3540609733
- Dimensions
-
24 cm
- Extent
-
XII, 704 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 1051
- Keyword
-
Systementwicklung
Formale Methode
Softwareentwicklung
Formale Methode
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, Barcelona, Budapest, Hong Kong, London, Milan, Paris, Santa Clara, Singapore, Tokyo
- (who)
-
Springer
- (when)
-
1996
- Contributor
-
Gaudel, Marie-Claude
FME (3 : 1996 : Oxford)
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:00 PM CEST
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
- Gaudel, Marie-Claude
- FME (3 : 1996 : Oxford)
- Springer
Time of origin
- 1996
Other Objects (12)
Industrial benefit of formal methods : proceedings
Industrial strength formal methods : proceedings
Formal methods for industrial applications, Buch.
Industrial strength formal methods in practice
Industrial applications and strengthened foundations of formal methods : proceedings
Symbolic methods for formal verification of industrial control software
Formal methods for industrial critical systems : 15th international workshop ; proceedings
Formal methods for industrial critical systems : 17th international workshop ; proceedings
Formal methods for industrial critical systems : 14th international workshop ; proceedings
Formal methods for industrial critical systems : 18th international workshop ; proceedings
Formal methods for industrial critical systems : 16th international workshop ; proceedings
Formal methods for industrial critical systems : 12th international workshop ; revised selected papers
Industrial benefit of formal methods : proceedings
Industrial strength formal methods : proceedings
Formal methods for industrial applications, Buch.
Industrial strength formal methods in practice
Industrial applications and strengthened foundations of formal methods : proceedings
Symbolic methods for formal verification of industrial control software
Formal methods for industrial critical systems : 15th international workshop ; proceedings
Formal methods for industrial critical systems : 17th international workshop ; proceedings
Formal methods for industrial critical systems : 14th international workshop ; proceedings
Formal methods for industrial critical systems : 18th international workshop ; proceedings
Formal methods for industrial critical systems : 16th international workshop ; proceedings
Formal methods for industrial critical systems : 12th international workshop ; revised selected papers
Industrial benefit of formal methods : proceedings
Industrial strength formal methods : proceedings
Formal methods for industrial applications, Buch.
Industrial strength formal methods in practice
Industrial applications and strengthened foundations of formal methods : proceedings
Symbolic methods for formal verification of industrial control software
Formal methods for industrial critical systems : 15th international workshop ; proceedings
Formal methods for industrial critical systems : 17th international workshop ; proceedings
Formal methods for industrial critical systems : 14th international workshop ; proceedings
Formal methods for industrial critical systems : 18th international workshop ; proceedings
Formal methods for industrial critical systems : 16th international workshop ; proceedings