Distributed Systems

; ; ; ; ; ; ; ;

54,98 €
52,23 €
AGGIUNGI AL CARRELLO


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