Web Services and Formal Methods: 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007, Proceedings (Lecture Notes in ... / Programming and Software Engineering)

by ReikoHeckel (Editor), Marlon Dumas (Editor)

• New

  Paperback
  2008

  $73.48

  This proceedings volume of the 4th International Workshop on Web Services and Formal Methods covers the application of formal methods and reasoning techniques to Web service technology and formal theories inspired by developments in Web services.