Laddar...

Web services and formal methods 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010 : revised selected papers /

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 sele...

Full beskrivning

Sparad:
Bibliografiska uppgifter
Huvudupphovsmän: WS-FM 2010 (Workshop), Bravetti, Mario., Bultan, Tevfik.
Materialtyp: Livro
Språk:Inglês
Publicerad: Springer, 2011
Serie:Lectures notes in computer science
Ämnen:
Länkar:https://minerva.ufrj.br/F/?func=direct&doc_number=000911689&local_base=UFR01
Taggar: Lägg till en tagg
Inga taggar, Lägg till första taggen!