Vai al contenuto principale della pagina
Titolo: | 2009 Fourth South-East European Workshop on Formal Methods |
Pubblicazione: | [Place of publication not identified], : IEEE, 2009 |
Disciplina: | 004.6/54 |
Soggetto topico: | Formal methods (Computer science) |
Service-oriented architecture (Computer science) | |
Engineering & Applied Sciences | |
Computer Science | |
Persona (resp. second.): | StamatopoulouIoanna |
DranidisDimitris | |
Note generali: | Bibliographic Level Mode of Issuance: Monograph |
Titolo abbreviato (Periodici): | seefm |
Altri titoli varianti: | South-East European Workshop on Formal Methods |
Titolo autorizzato: | 2009 Fourth South-East European Workshop on Formal Methods |
ISBN: | 0-7695-3943-2 |
Formato: | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 996209729203316 |
Lo trovi qui: | Univ. di Salerno |
Opac: | Controlla la disponibilità qui |