Record Nr.

UNINA990009255740403321

Titolo

Web Services and Formal Methods [Risorsa elettronica] : 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings / edited by Marlon Dumas, Reiko Heckel

Pubbl/distr/stampa


Berlin ; Heidelberg : Springer, 2008

ISBN

9783540792307

Collana

Lecture Notes in Computer Science , 0302-9743 ; 4937

Lingua di pubblicazione

Inglese

Formato

Risorsa elettronica

Livello bibliografico

Monografia