Konferenzschrift | Kongress
Integrated formal methods : 9th international conference ; proceedings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783642307287
3642307280
- Dimensions
-
24 cm
- Extent
-
XII, 360 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; 7321
- Keyword
-
Formale Methode
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg
- (who)
-
Springer
- (when)
-
2012
- Contributor
-
Derrick, John
Gnesi, Stefania
Latella, Diego
Treharne, Helen
IFM (9 : 2012 : Pisa)
- 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:17 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
- Derrick, John
- Gnesi, Stefania
- Latella, Diego
- Treharne, Helen
- IFM (9 : 2012 : Pisa)
- Springer
Time of origin
- 2012
Other Objects (12)
Integrated formal methods : third international conference ; proceedings
Integrated formal methods : 5th international conference proceedings
Integrated formal methods : 6th international conference ; proceedings
Integrated formal methods : 10th international conference ; proceedings
Integrated formal methods : second international conference ; proceedings
Integrated formal methods : 7th international conference ; proceedings
Integrated formal methods : 8th international conference ; proceedings
Software engineering and formal methods : 9th international conference ; proceedings
Formal concept analysis : 9th international conference ; proceedings
Web services and formal methods : 9th international workshop ; revised selected papers
Formal methods for components and objects : 9th international symposium ; revised papers
Formal modeling and analysis of timed systems : 9th international conference ; proceedings
Integrated formal methods : third international conference ; proceedings
Integrated formal methods : 5th international conference proceedings
Integrated formal methods : 6th international conference ; proceedings
Integrated formal methods : 10th international conference ; proceedings
Integrated formal methods : second international conference ; proceedings
Integrated formal methods : 7th international conference ; proceedings
Integrated formal methods : 8th international conference ; proceedings
Software engineering and formal methods : 9th international conference ; proceedings
Formal concept analysis : 9th international conference ; proceedings
Web services and formal methods : 9th international workshop ; revised selected papers
Formal methods for components and objects : 9th international symposium ; revised papers
Formal modeling and analysis of timed systems : 9th international conference ; proceedings
Integrated formal methods : third international conference ; proceedings
Integrated formal methods : 5th international conference proceedings
Integrated formal methods : 6th international conference ; proceedings
Integrated formal methods : 10th international conference ; proceedings
Integrated formal methods : second international conference ; proceedings
Integrated formal methods : 7th international conference ; proceedings
Integrated formal methods : 8th international conference ; proceedings
Software engineering and formal methods : 9th international conference ; proceedings
Formal concept analysis : 9th international conference ; proceedings
Web services and formal methods : 9th international workshop ; revised selected papers
Formal methods for components and objects : 9th international symposium ; revised papers