Vai al contenuto principale della pagina

Web Services and Formal Methods : 4th International Workshop, WS-FM 2007 : Brisbane, Australia, 28-29, 2007 : proceedings / Marlon Dumas, Reiko Heckel...[et al.](Eds.)



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: International Workshop, WS-FM 2007 : <4. ; : 2007 Visualizza persona
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.) Visualizza cluster
Pubblicazione: Berlin : Springer, copyr. 2008
Descrizione fisica: VIII, 168 p. : ill. ; 24 cm
Disciplina: 006
Soggetto topico: Internet - Congressi - Brisbane - 2007
Informatica - Congressi - Brisbane - 2007
Persona (resp. second.): DUMAS, Marlon
HECKEL, Reiko
Titolo autorizzato: Web Services and Formal Methods  Visualizza cluster
ISBN: 978-3-540-79229-1
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 990003143270203316
Lo trovi qui: Univ. di Salerno
Collocazione: 001 LNCS 4937
Opac: Controlla la disponibilità qui
Serie: Lecture notes in computer science
Fa parte di: Lecture notes in computer science
Biblioteca: Univ. di Salerno
Opac: Controlla la disponibilità qui