Custom cover image
Custom cover image

Distributed Systems : Methods and Tools for Specification An Advanced Course / edited by M. Paul, H. J. Siegert, M. W. Alford, J. P. Ansart, G. Hommel, L. Lamport, B. Liskov, G. P. Mullery, F. B. Schneider

By: Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: SpringerLink Bücher | Lecture notes in computer science ; 190Publisher: Berlin, Heidelberg : Springer-Verlag, 1985Description: Online-RessourceISBN:
  • 9783540393634
Subject(s): Genre/Form: Additional physical formats: 9783540152163 | Buchausg. u.d.T.: Distributed systems. Berlin [u.a.] : Springer, 1985. VI, 573 S.DDC classification:
  • 001.64
  • 004.6 23
LOC classification:
  • QA76.9.D5
DOI: DOI: 10.1007/3-540-15216-4Online resources: Summary: 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.PPN: PPN: 1649202938Package identifier: Produktsigel: ZDB-1-SLN | ZDB-2-LNC | ZDB-2-SCS | ZDB-2-BAE | ZDB-2-SXCS | ZDB-2-SEB
No physical items for this record
KIT – The University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT