bokomslag Web Services and Formal Methods
Data & IT

Web Services and Formal Methods

Mario Bravetti Manuel Nez Gianluigi Zavattaro

Pocket

759:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 10-16 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 289 sidor
  • 2006
Here are the refereed proceedings of the Third International Workshop on Web Services and Formal Methods, WS-FM 2006, held in conjunction with the Fourth International Conference on Business Process Management, BPM 2006. The book presents 15 revised full papers and 3 invited lectures covering such topics as protocols and standards for WS; languages and description methodologies for Coreography/Orchestration/Workflow; coordination techniques for WS; security, performance evaluation and quality of service, and more.
  • Författare: Mario Bravetti, Manuel Nez, Gianluigi Zavattaro
  • Format: Pocket/Paperback
  • ISBN: 9783540388623
  • Språk: Engelska
  • Antal sidor: 289
  • Utgivningsdatum: 2006-09-01
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K