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

Tallennettuna:
Bibliografiset tiedot
Päätekijä: Mario Bravetti, Tevfik Bultan (edición)
Aineistotyyppi: Kirja
Kieli:englanti
Julkaistu: Berlín, Alemania : Springer, 2011, c2011
Sarja:(Lecture Notes in Computer Science)
Linkit:Ver documento en línea
Tagit: Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!