Web services and formal methods : third international workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006 : proceedings /

Web services and formal methods : third international workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006 : proceedings /

Show other versions (1)
Bibliographic Details
Corporate Authors: WS-FM 2006 Vienna, Austria, SpringerLink (Online service)
Other Authors: Bravetti, Mario, Núñez, Manuel (Professor), Zavattaro, Gianluigi
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, 2006.
Series:Lecture notes in computer science. 4184.
Subjects:
Formal methods (Computer science) > Congresses.
Web services > Congresses.
Méthodes formelles (Informatique) > Congrès.
Services Web > Congrès.
Electronic books.
Online Access:Connect to the full text of this electronic book
Publisher description

Internet

Connect to the full text of this electronic book
Publisher description

Available Online

Holdings details from Available Online
Call Number: TK5105.88813 .W7 2006eb
 
Call Number Status Get It
TK5105.88813 .W7 2006eb Available