Related Books
Language: en
Pages: 199
Pages: 199
Type: BOOK - Published: 2011-03-19 - Publisher: Springer
This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Web Services and Formal Methods, WS-FM 2010, held i
Language: en
Pages: 178
Pages: 178
Type: BOOK - Published: 2008-04-13 - Publisher: Springer
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: 159
Pages: 159
Type: BOOK - Published: 2013-05-15 - Publisher: Springer
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Web Services and Formal Methods, WS-FM 2012, held i
Language: en
Pages: 0
Pages: 0
Type: BOOK - Published: 2018 - Publisher: Engineering Science Reference
The service industry is continually improving, forcing service-oriented engineering to improve alongside it. In a digitalized world, technology within the servi
Language: en
Pages: 234
Pages: 234
Type: BOOK - Published: 2018-10-11 - Publisher: Apress
Learn how to design complex, correct programs and fix problems before writing a single line of code. This book is a practical, comprehensive resource on TLA+ pr
