Konferenzschrift | Kongress
Formal aspects of component software : 7th international workshop ; revised selected papers
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783642272684
3642272681
- Dimensions
-
24 cm
- Extent
-
X, 303 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; 6921
- Keyword
-
Softwareentwicklung
Komponente
Formale Methode
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg
- (who)
-
Springer
- (when)
-
2012
- Contributor
-
Barbosa, Luís Soares
Lumpe, Markus
FACS (7. : 2010 : Guimarães)
- 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:52 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
- Barbosa, Luís Soares
- Lumpe, Markus
- FACS (7. : 2010 : Guimarães)
- Springer
Time of origin
- 2012
Other Objects (12)
Web services and formal methods : 7th international workshop ; revised selected papers
Formal aspects in security and trust : 7th international workshop ; revised selected papers
Formal aspects of component software : 8th international symposium ; revised selected papers
Formal aspects of component software : 9th international symposium ; revised selected papers
Information hiding : 7th international workshop ; revised selected papers
Wireless internet : 7th international ICST conference ; revised selected papers
Trustworthy global computing : 7th international symposium ; revised selected papers
Privacy enhancing technologies : 7th international symposium ; revised selected papers
Computers and games : 7th international conference ; revised selected papers
Information security applications : 7th international workshop ; revised selected papers
Advanced intelligent computing : 7th international conference ; revised selected papers
Learning and intelligent optimization : 7th international conference ; revised selected papers
Web services and formal methods : 7th international workshop ; revised selected papers
Formal aspects in security and trust : 7th international workshop ; revised selected papers
Formal aspects of component software : 8th international symposium ; revised selected papers
Formal aspects of component software : 9th international symposium ; revised selected papers
Information hiding : 7th international workshop ; revised selected papers
Wireless internet : 7th international ICST conference ; revised selected papers
Trustworthy global computing : 7th international symposium ; revised selected papers
Privacy enhancing technologies : 7th international symposium ; revised selected papers
Computers and games : 7th international conference ; revised selected papers
Information security applications : 7th international workshop ; revised selected papers
Advanced intelligent computing : 7th international conference ; revised selected papers
Learning and intelligent optimization : 7th international conference ; revised selected papers
Web services and formal methods : 7th international workshop ; revised selected papers
Formal aspects in security and trust : 7th international workshop ; revised selected papers
Formal aspects of component software : 8th international symposium ; revised selected papers
Formal aspects of component software : 9th international symposium ; revised selected papers
Information hiding : 7th international workshop ; revised selected papers
Wireless internet : 7th international ICST conference ; revised selected papers
Trustworthy global computing : 7th international symposium ; revised selected papers
Privacy enhancing technologies : 7th international symposium ; revised selected papers
Computers and games : 7th international conference ; revised selected papers
Information security applications : 7th international workshop ; revised selected papers
Advanced intelligent computing : 7th international conference ; revised selected papers