Amvik eBook Solutions
Read and Download eBook Online Now
Related Books
Language: en
Pages: 179
Pages: 179
Type: BOOK - Published: 2016-04-19 - Publisher: Springer
This volume contains the refereed joint proceedings of two initiatives that have been devoted to the formal foundations of complex systems: the workshops WS-FM:
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: 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
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: 151
Pages: 151
Type: BOOK - Published: 2012-04-23 - Publisher: Springer
This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Web Services and Formal Methods, WS-FM 2011, held in Clermon
