Vai al contenuto principale della pagina

Formal Techniques for Computer Systems and Business Processes [Risorsa elettronica] : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Titolo: Formal Techniques for Computer Systems and Business Processes [Risorsa elettronica] : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September Visualizza cluster
Pubblicazione: Berlin ; Heidelberg : Springer, 2005
Persona (resp. second.): Bravetti, Mario
Kloul, Leïla
Zavattaro, Gianluigi
Type File/ Data Note: Formato html, pdf
Requisiti sistema: Formato html, pdf
Titolo autorizzato: Formal Techniques for Computer Systems and Business Processes  Visualizza cluster
ISBN: 9783540319030
Formato: Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 990009240380403321
Lo trovi qui: Univ. Federico II
Localizzazioni e accesso elettronico http://dx.doi.org/10.1007/11549970
Opac: Controlla la disponibilità qui