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
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Alford M.W
|
| Titolo: |
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
|
| Pubblicazione: | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1985 |
| Edizione: | 1st ed. 1985. |
| Descrizione fisica: | 1 online resource (VIII, 576 p.) |
| Disciplina: | 004.6 |
| Soggetto topico: | Computer communication systems |
| Computer Communication Networks | |
| Persona (resp. second.): | AnsartJ.P |
| HommelG | |
| LamportL | |
| LiskovB | |
| MulleryG.P | |
| SchneiderF.B | |
| PaulManfred | |
| SiegertH.J | |
| Note generali: | Bibliographic Level Mode of Issuance: Monograph |
| 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. |
| Titolo autorizzato: | Distributed Systems |
| ISBN: | 3-540-39363-3 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 996466106403316 |
| Lo trovi qui: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |
Serie:
Lecture Notes in Computer Science, . 0302-9743 ; ; 190