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

by Mario Bravetti (Editor), TevfikBultan (Editor)

• New

  Paperback
  2011

  $63.32

  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;