bokomslag Distributed Systems
Data & IT

Distributed Systems

M W Alford J P Ansart G Hommel L Lamport B Liskov

Pocket

769:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 10-16 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 576 sidor
  • 1985
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.

  • Författare: M W Alford, J P Ansart, G Hommel, L Lamport, B Liskov
  • Format: Pocket/Paperback
  • ISBN: 9783540152163
  • Språk: Engelska
  • Antal sidor: 576
  • Utgivningsdatum: 1985-04-01
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K