1.
Record Nr.
UNISA990003143270203316
Autore
International Workshop, WS-FM 2007 : <4. ; : 2007
Titolo
Web Services and Formal Methods : 4th International Workshop, WS-FM 2007 : Brisbane, Australia, 28-29, 2007 : proceedings / Marlon Dumas, Reiko Heckel...[et al.](Eds.)
Pubbl/distr/stampa
Berlin : Springer, copyr. 2008
ISBN
978-3-540-79229-1
Descrizione fisica
VIII, 168 p. : ill. ; 24 cm
Collana
Lecture notes in computer science ; 4937
Disciplina
006
Soggetti
Internet - Congressi - Brisbane - 2007
Informatica - Congressi - Brisbane - 2007
Collocazione
001 LNCS 4937
Lingua di pubblicazione
Inglese
Formato
Materiale a stampa
Livello bibliografico
Monografia