-
DISPONIBILITÀ IMMEDIATA
{{/disponibilitaBox}}
-
{{speseGratisLibroBox}}
{{/noEbook}}
{{^noEbook}}
-
Libro
-
- Genere: Libro
- Lingua: Inglese
- Editore: Springer Berlin Heidelberg
- Pubblicazione: 04/1985
- Edizione: 1985
Distributed Systems
alford m.w.; ansart j.p.; hommel g.; lamport l.; liskov b.; mullery g.p.; schneider f.b.; paul manfred (curatore); siegert h.j. (curatore)
54,98 €
52,23 €
{{{disponibilita}}}
SOMMARIO
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.ALTRE INFORMAZIONI
- Condizione: Nuovo
- ISBN: 9783540152163
- Collana: Lecture Notes in Computer Science
- Dimensioni: 235 x 155 mm Ø 1780 gr
- Formato: Brossura
- Illustration Notes: VIII, 576 p.
- Pagine Arabe: 576
- Pagine Romane: viii