Related Books
Language: en
Pages: 178
Pages: 178
Type: BOOK - Published: 2008-04-11 - Publisher: Springer Science & Business Media
This volume contains the papers presented at WS-FM 2007, the 4th International Workshop on Web Services and Formal Methods, held on September 28 and 29, 2007 in
Language: en
Pages: 347
Pages: 347
Type: BOOK - Published: 2009-05-12 - Publisher: Springer Science & Business Media
This book presents papers from the lectures of leading researchers given at the Ninth International School on Formal Methods for the Design of Computer, Communi
Language: en
Pages: 250
Pages: 250
Type: BOOK - Published: 2009-05-19 - Publisher: Springer Science & Business Media
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Web Services and Formal Methods, WS-FM 2008, held i
Language: en
Pages: 297
Pages: 297
Type: BOOK - Published: 2006-09-04 - Publisher: Springer Science & Business Media
Here are the refereed proceedings of the Third International Workshop on Web Services and Formal Methods, WS-FM 2006, held in conjunction with the Fourth Intern
Language: en
Pages: 203
Pages: 203
Type: BOOK - Published: 2010-09-02 - Publisher: Springer Science & Business Media
This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Web Services and Formal Methods, WS-FM 2009, held i
