BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

Web Services and Formal Methods: 7th International Workshop, Ws-FM 2010,
Stock photo: cover may vary

Web Services and Formal Methods: 7th International Workshop, Ws-FM 2010, Hoboken, Nj, Usa, September 16-17, 2010. Revised Selected Papers Paperback - 2011 - 2011th Edition

by Mario Bravetti (Editor); Tevfik Bultan (Editor)

Add to wish list

Reader reviews for Web Services and Formal Methods: 7th International Workshop, Ws-FM 2010, Hoboken, Nj, Usa, September 16-17, 2010. Revised Selected Papers

From the publisher

This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Web Services and Formal Methods, WS-FM 2010, held in Hoboken, NJ, USA, in September 2010. The 11 revised full papers presented together with one invited paper were carefully reviewed and selected from 26 submissions. The papers feature topics such as web services; service oriented computing; cloud computing; formal methods; verification specification; testing; and business process management.

From the rear cover

This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Web Services and Formal Methods, WS-FM 2010, held in Hoboken, NJ, USA, in September 2010. The 11 revised full papers presented together with one invited paper were carefully reviewed and selected from 26 submissions. The papers feature topics such as web services; service oriented computing; cloud computing; formal methods; verification specification; testing; and business process management.

Details

  • Title Web Services and Formal Methods: 7th International Workshop, Ws-FM 2010, Hoboken, Nj, Usa, September 16-17, 2010. Revised Selected Papers
  • Author Mario Bravetti (Editor); Tevfik Bultan (Editor)
  • Binding Paperback
  • Edition number 2011th
  • Edition 2011
  • Pages 191
  • Volumes 1
  • Language ENG
  • Publisher Springer
  • Publication date 2011-03-31
  • ISBN 9783642195884 / 3642195881
  • Weight 0.63 lbs (0.29 kg)
  • Dimensions 9.21 x 6.14 x 0.42 in (23.39 x 15.60 x 1.07 cm)
  • Category Computers - Communications / Networking
  • Dewey Decimal Code 004.2

More Copies for Sale

Web Services and Formal Methods: 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA,...
Stock photo: cover may vary

Web Services and Formal Methods: 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers (Lecture Notes in Computer Science, 6551)

by Bravetti, Mario

  • New
  • Paperback
Condition
New
Edition
2011
Binding
Paperback
ISBN 10 / ISBN 13
9783642195884 / 3642195881
Quantity available
6
Seller
Item price
A$79.30
A$21.86 Delivery to USA

Show details

Description:
Springer, 2011-03-31. 2011. paperback. New. 6.10x0.47x9.25. Buy with confidence. Excellent Customer Service & Return policy.
Add to wish list
Item price
A$79.30
A$21.86 Delivery to USA
Web Services and Formal Methods : 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA,...

Web Services and Formal Methods : 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783642195884 / 3642195881
Quantity available
934
Seller
Item price
A$124.70
A$15.63 Delivery to USA

Show details

Description:
Paperback. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Web Services and Formal Methods, WS-FM 2010, held in Hoboken, NJ, USA, in September 2010. The 11 revised full papers presented
Add to wish list
Item price
A$124.70
A$15.63 Delivery to USA
Web Services and Formal Methods: 7th International Workshop, Ws-fm 2010, Hoboken, Nj, USA,...
Stock photo: cover may vary

Web Services and Formal Methods: 7th International Workshop, Ws-fm 2010, Hoboken, Nj, USA, September 16-17, 2010. Revised Selected Papers

by Bravetti, Mario (Editor)/ Bultan, Tevfik (Editor)

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783642195884 / 3642195881
Quantity available
2
Seller
Item price
A$126.91
A$29.34 Delivery to USA

Show details

Description:
Springer-Verlag New York Inc, 2012. Paperback. New. 2011 edition. 195 pages. 9.00x6.00x0.50 inches.
Add to wish list
Item price
A$126.91
A$29.34 Delivery to USA
Web Services and Formal Methods: 7th International  Workshop, WS-FM 2010, Hoboken, NJ, USA,...

Web Services and Formal Methods: 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers

by Mario Bravetti

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783642195884 / 3642195881
Quantity available
10
Seller
Item price
A$182.28
A$19.46 Delivery to USA

Show details

Description:
Paperback / softback. New. This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Web Services and Formal Methods, WS-FM 2010, held in Hoboken, NJ, USA, in September 2010. The papers feature topics such as web services;
Add to wish list
Item price
A$182.28
A$19.46 Delivery to USA