Location & Availability for: Web services and formal methods : 4th in

 Staff view

You must be logged in to Tag Records

Web services and formal methods : 4th international workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007 : proceedings /

Marlon Dumas, Reiko Heckel (eds.).

Book Cover
Names: Dumas, Marlon. | Heckel, Reiko.
Published: Berlin ; Springer, ©2008.
Series: Lecture notes in computer science ; 4937.
LNCS sublibrary. SL 2, Programming and software engineering.
Topics: Web services - Congresses. | Formal methods (Computer science) - Congresses. | Datensicherung. | Dienstgüte. | Formale Methode. | Kommunikationsprotokoll. | Leistungsbewertung. | Ontologie (Wissensverarbeitung) | Semantic Web. | Semantisches Netz. | Web Services. | Web sites (congressos) | Ciência da computação (congressos) | Datensicherung. | Dienstgüte. | Formale Methode. | Kommunikationsprotokoll. | Leistungsbewertung. | Ontologie (Wissensverarbeitung) | Semantic Web. | Semantisches Netz. | Web Services.
Genres: Kongress - Brisbane - 2007. | Conference papers and proceedings. | Brisbane (2007) | Kongress.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Loading Holdings Data ... Loading

Location & Availability for: Web services and formal methods : 4th in