Konferenzschrift | Kongress
Web services and formal methods : 4th international workshop ; proceedings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540792291
- Dimensions
-
24 cm
- Extent
-
VIII, 168 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 4937
- 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, NY
- (who)
-
Springer
- (when)
-
2008
- Contributor
-
Dumas, Marlon
WS-FM (4 : 2007 : Brisbane)
- 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, 2:24 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
- Dumas, Marlon
- WS-FM (4 : 2007 : Brisbane)
- Springer
Time of origin
- 2008
Other Objects (12)
Web services and formal methods : third international workshop ; proceedings
Web engineering : 4th international conference ; proceedings
Information hiding : 4th international workshop ; proceedings
Algorithm engineering : 4th international workshop ; proceedings
Reachability problems : 4th international workshop ; proceedings
Computer science logic : 4th workshop ; proceedings
NASA formal methods : 4th international symposium ; proceedings
Frontiers in algorithmics : 4th international workshop ; proceedings
Algorithms and computation : 4th international workshop ; proceedings
Multiple access communications : 4th international workshop ; proceedings
Computational color imaging : 4th international workshop ; proceedings
Software process technology : 4th European workshop ; proceedings
Web services and formal methods : third international workshop ; proceedings
Web engineering : 4th international conference ; proceedings
Information hiding : 4th international workshop ; proceedings
Algorithm engineering : 4th international workshop ; proceedings
Reachability problems : 4th international workshop ; proceedings
Computer science logic : 4th workshop ; proceedings
NASA formal methods : 4th international symposium ; proceedings
Frontiers in algorithmics : 4th international workshop ; proceedings
Algorithms and computation : 4th international workshop ; proceedings
Multiple access communications : 4th international workshop ; proceedings
Computational color imaging : 4th international workshop ; proceedings
Software process technology : 4th European workshop ; proceedings
Web services and formal methods : third international workshop ; proceedings
Web engineering : 4th international conference ; proceedings
Information hiding : 4th international workshop ; proceedings
Algorithm engineering : 4th international workshop ; proceedings
Reachability problems : 4th international workshop ; proceedings
Computer science logic : 4th workshop ; proceedings
NASA formal methods : 4th international symposium ; proceedings
Frontiers in algorithmics : 4th international workshop ; proceedings
Algorithms and computation : 4th international workshop ; proceedings
Multiple access communications : 4th international workshop ; proceedings
Computational color imaging : 4th international workshop ; proceedings