Konferenzschrift | Kongress
Web services and formal methods : third international workshop ; proceedings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540388623
3540388621
- Dimensions
-
24 cm
- Extent
-
X, 287 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 4184
- Keyword
-
Web Services
Formale Methode
Web Services
Kommunikationsprotokoll
Web Services
Dienstgüte
Datensicherung
Leistungsbewertung
Semantic Web
Web Services
Ontologie
Semantisches Netz
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York
- (who)
-
Springer
- (when)
-
2006
- Contributor
-
Bravetti, Mario
WS-FM (3 : 2006 : Wien)
- 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:10 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
- Bravetti, Mario
- WS-FM (3 : 2006 : Wien)
- Springer
Time of origin
- 2006
Other Objects (12)
Web services and formal methods : 4th international workshop ; proceedings
Web services and formal methods : 8th international workshop ; revised selected papers
Web services and formal methods : 7th international workshop ; revised selected papers
Web services and formal methods : 5th international workshop ; revised selected papers
Web services and formal methods : 6th international workshop ; revised selected papers
Web services and formal methods : 9th international workshop ; revised selected papers
Integrated formal methods : third international conference ; proceedings
NASA formal methods : third international symposium ; proceedings
Formal methods for web services : advanced lectures
Distributed communities on the Web : third international workshop ; proceedings
Formal methods in computer aided design : third international conference ; proceedings
1st Irish Workshop on Formal Methods : proceedings of the 1st Irish Workshop on Formal Methods, Dublin, 3 - 4 July 1997
Web services and formal methods : 4th international workshop ; proceedings
Web services and formal methods : 8th international workshop ; revised selected papers
Web services and formal methods : 7th international workshop ; revised selected papers
Web services and formal methods : 5th international workshop ; revised selected papers
Web services and formal methods : 6th international workshop ; revised selected papers
Web services and formal methods : 9th international workshop ; revised selected papers
Integrated formal methods : third international conference ; proceedings
NASA formal methods : third international symposium ; proceedings
Formal methods for web services : advanced lectures
Distributed communities on the Web : third international workshop ; proceedings
Formal methods in computer aided design : third international conference ; proceedings
1st Irish Workshop on Formal Methods : proceedings of the 1st Irish Workshop on Formal Methods, Dublin, 3 - 4 July 1997
Web services and formal methods : 4th international workshop ; proceedings
Web services and formal methods : 8th international workshop ; revised selected papers
Web services and formal methods : 7th international workshop ; revised selected papers
Web services and formal methods : 5th international workshop ; revised selected papers
Web services and formal methods : 6th international workshop ; revised selected papers
Web services and formal methods : 9th international workshop ; revised selected papers
Integrated formal methods : third international conference ; proceedings
NASA formal methods : third international symposium ; proceedings
Formal methods for web services : advanced lectures
Distributed communities on the Web : third international workshop ; proceedings
Formal methods in computer aided design : third international conference ; proceedings