Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Distributed Systems [[electronic resource] ] : Methods and Tools for Specification. An Advanced Course / / by M.W. Alford, J.P. Ansart, G. Hommel, L. Lamport, B. Liskov, G.P. Mullery, F.B. Schneider ; edited by Manfred Paul, H.J. Siegert
| Distributed Systems [[electronic resource] ] : Methods and Tools for Specification. An Advanced Course / / by M.W. Alford, J.P. Ansart, G. Hommel, L. Lamport, B. Liskov, G.P. Mullery, F.B. Schneider ; edited by Manfred Paul, H.J. Siegert |
| Autore | Alford M.W |
| Edizione | [1st ed. 1985.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1985 |
| Descrizione fisica | 1 online resource (VIII, 576 p.) |
| Disciplina | 004.6 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer communication systems
Computer Communication Networks |
| ISBN | 3-540-39363-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Basic concepts -- Acquisition — environment -- A graph model based approach to specifications -- Formal foundation for specification and verification -- Language constructs for distributed programs -- The argus language and system -- Paradigms for distributed programs -- Issues and tools for protocol specification -- Conclusion. |
| Record Nr. | UNISA-996466106403316 |
Alford M.W
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Distributed Systems — Architecture and Implementation
| Distributed Systems — Architecture and Implementation |
| Autore | Davies David William |
| Pubbl/distr/stampa | Springer Berlin Heidelberg |
| Altri autori (Persone) |
LampsonButler W
PaulManfred SiegertH. J |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465512703316 |
|
Davies David William
|
||
| Springer Berlin Heidelberg | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software engineering--ESEC '93 : 4th European Software Engineering Conference, Garmisch-Partenkirchen, Germany, September 13-17, 1993 : proceedings / / Ian Sommerville, Manfred Paul, eds
| Software engineering--ESEC '93 : 4th European Software Engineering Conference, Garmisch-Partenkirchen, Germany, September 13-17, 1993 : proceedings / / Ian Sommerville, Manfred Paul, eds |
| Pubbl/distr/stampa | Springer Berlin Heidelberg |
| Disciplina | 005.1 |
| Altri autori (Persone) |
SommervilleIan
PaulManfred |
| Soggetto topico | Software engineering - Congresses |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465876903316 |
| Springer Berlin Heidelberg | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||