Konferenzschrift | Kongress
Integrated formal methods : 8th international conference ; proceedings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783642162640
- Dimensions
-
24 cm
- Extent
-
X, 335 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; 6396
- Keyword
-
Softwareentwicklung
Formale Methode
Systementwicklung
Formale Methode
Formale Methode
Spezifikationssprache
Verifikation
Model Checking
Formale Methode
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, NY
- (who)
-
Springer
- (when)
-
2010
- Contributor
-
Méry, Dominique
IFM (8 : 2010 : Nancy)
- 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, 1:47 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
- Méry, Dominique
- IFM (8 : 2010 : Nancy)
- Springer
Time of origin
- 2010
Other Objects (12)
Integrated formal methods : 7th international conference ; proceedings
Integrated formal methods : third international conference ; proceedings
Integrated formal methods : 6th international conference ; proceedings
Integrated formal methods : 5th international conference proceedings
Integrated formal methods : second international conference ; proceedings
Integrated formal methods : 9th international conference ; proceedings
Integrated formal methods : 10th international conference ; proceedings
Formal concept analysis : 8th International Conference ; proceedings
Web services and formal methods : 8th international workshop ; revised selected papers
Formal modeling and analysis of timed systems : 8th international conference ; proceedings
Software reuse: methods, techniques, and tools : 8th international conference ; proceedings
Teaching formal methods : second international conference ; proceedings
Integrated formal methods : 7th international conference ; proceedings
Integrated formal methods : third international conference ; proceedings
Integrated formal methods : 6th international conference ; proceedings
Integrated formal methods : 5th international conference proceedings
Integrated formal methods : second international conference ; proceedings
Integrated formal methods : 9th international conference ; proceedings
Integrated formal methods : 10th international conference ; proceedings
Formal concept analysis : 8th International Conference ; proceedings
Web services and formal methods : 8th international workshop ; revised selected papers
Formal modeling and analysis of timed systems : 8th international conference ; proceedings
Software reuse: methods, techniques, and tools : 8th international conference ; proceedings
Teaching formal methods : second international conference ; proceedings
Integrated formal methods : 7th international conference ; proceedings
Integrated formal methods : third international conference ; proceedings
Integrated formal methods : 6th international conference ; proceedings
Integrated formal methods : 5th international conference proceedings
Integrated formal methods : second international conference ; proceedings
Integrated formal methods : 9th international conference ; proceedings
Integrated formal methods : 10th international conference ; proceedings
Formal concept analysis : 8th International Conference ; proceedings
Web services and formal methods : 8th international workshop ; revised selected papers
Formal modeling and analysis of timed systems : 8th international conference ; proceedings
Software reuse: methods, techniques, and tools : 8th international conference ; proceedings