Konferenzschrift | Kongress | Kongress <2007>
Formal methods for components and objects : 6th international symposium : revised papers
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540921875
- Dimensions
-
24 cm
- Extent
-
X, 311 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; 5382
- Keyword
-
Softwareentwicklung
Formale Methode
Softwareentwicklung
Objektorientierung
Komponente
Formale Methode
Softwareentwicklung
Objektorientierung
Komponente
Formale Methode
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, NY
- (who)
-
Springer
- (when)
-
2008
- Contributor
-
Boer, Frank S. de
FMCO (6 : 2007 : Amsterdam)
- 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:42 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
- Kongress <2007>
Associated
- Boer, Frank S. de
- FMCO (6 : 2007 : Amsterdam)
- Springer
Time of origin
- 2008
Other Objects (12)
Formal methods for components and objects : 7th international symposium ; revised lectures
Formal methods for components and objects : 9th international symposium ; revised papers
Formal methods for components and objects : 4th international symposium ; revised lectures
Formal methods for components and objects : third international symposium ; revised lectures
Formal methods for components and objects : 11th international symposium ; revised lectures
Formal methods for components and objects : first international symposium ; revised lectures
Formal methods for components and objects : 5th international symposium ; revised lectures
Formal methods for components and objects : 8th international symposium ; revised selected papers
Formal methods for components and objects : 10th international symposium ; revised selected papers
Web services and formal methods : 6th international workshop ; revised selected papers
Formal aspects in security and trust : 6th international workshop ; revised selected papers
Objects, components, architectures, services, and applications for a networked world : revised papers
Formal methods for components and objects : 7th international symposium ; revised lectures
Formal methods for components and objects : 9th international symposium ; revised papers
Formal methods for components and objects : 4th international symposium ; revised lectures
Formal methods for components and objects : third international symposium ; revised lectures
Formal methods for components and objects : 11th international symposium ; revised lectures
Formal methods for components and objects : first international symposium ; revised lectures
Formal methods for components and objects : 5th international symposium ; revised lectures
Formal methods for components and objects : 8th international symposium ; revised selected papers
Formal methods for components and objects : 10th international symposium ; revised selected papers
Web services and formal methods : 6th international workshop ; revised selected papers
Formal aspects in security and trust : 6th international workshop ; revised selected papers
Objects, components, architectures, services, and applications for a networked world : revised papers
Formal methods for components and objects : 7th international symposium ; revised lectures
Formal methods for components and objects : 9th international symposium ; revised papers
Formal methods for components and objects : 4th international symposium ; revised lectures
Formal methods for components and objects : third international symposium ; revised lectures
Formal methods for components and objects : 11th international symposium ; revised lectures
Formal methods for components and objects : first international symposium ; revised lectures
Formal methods for components and objects : 5th international symposium ; revised lectures
Formal methods for components and objects : 8th international symposium ; revised selected papers
Formal methods for components and objects : 10th international symposium ; revised selected papers
Web services and formal methods : 6th international workshop ; revised selected papers
Formal aspects in security and trust : 6th international workshop ; revised selected papers