Konferenzschrift | Kongress
Formal aspects of component software : 9th international symposium ; revised selected papers
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783642358609
3642358608
- Dimensions
-
24 cm, 581 g
- Extent
-
X, 276 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; 7684
- Keyword
-
Softwareentwicklung
Komponente
Formale Methode
Softwareentwicklung
Komponente
Formale Methode
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg
- (who)
-
Springer
- (when)
-
2013
- Contributor
-
Păsăreanu, Corina S.
Salaün, Gwen
FACS (9 : 2012 : Mountain View, CA)
- 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, 11:52 AM 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
- Păsăreanu, Corina S.
- Salaün, Gwen
- FACS (9 : 2012 : Mountain View, CA)
- Springer
Time of origin
- 2013
Other Objects (12)
Web services and formal methods : 9th international workshop ; revised selected papers
Formal aspects of component software : 7th international workshop ; revised selected papers
Formal aspects of component software : 8th international symposium ; revised selected papers
Digital watermarking : 9th international workshop ; revised selected papers
Information hiding : 9th international workshop ; revised selected papers
Trustworthy global computing : 9th international symposium ; revised selected papers
Computer performance engineering : 9th European workshop ; revised selected papers
Enterprise information systems : 9th international conference ; revised selected papers
Information security applications : 9th international workshop ; revised selected papers
Multi-agent systems : 9th European workshop ; revised selected papers
Approximation and online algorithms : 9th international workshop ; revised selected papers
Principles of distributed systems : 9th international conference ; revised selected papers
Web services and formal methods : 9th international workshop ; revised selected papers
Formal aspects of component software : 7th international workshop ; revised selected papers
Formal aspects of component software : 8th international symposium ; revised selected papers
Digital watermarking : 9th international workshop ; revised selected papers
Information hiding : 9th international workshop ; revised selected papers
Trustworthy global computing : 9th international symposium ; revised selected papers
Computer performance engineering : 9th European workshop ; revised selected papers
Enterprise information systems : 9th international conference ; revised selected papers
Information security applications : 9th international workshop ; revised selected papers
Multi-agent systems : 9th European workshop ; revised selected papers
Approximation and online algorithms : 9th international workshop ; revised selected papers
Principles of distributed systems : 9th international conference ; revised selected papers
Web services and formal methods : 9th international workshop ; revised selected papers
Formal aspects of component software : 7th international workshop ; revised selected papers
Formal aspects of component software : 8th international symposium ; revised selected papers
Digital watermarking : 9th international workshop ; revised selected papers
Information hiding : 9th international workshop ; revised selected papers
Trustworthy global computing : 9th international symposium ; revised selected papers
Computer performance engineering : 9th European workshop ; revised selected papers
Enterprise information systems : 9th international conference ; revised selected papers
Information security applications : 9th international workshop ; revised selected papers
Multi-agent systems : 9th European workshop ; revised selected papers
Approximation and online algorithms : 9th international workshop ; revised selected papers