Amazon cover image
Image from Amazon.com

Distributed systems : methods and tools for specification : an advanced course / M.W. Alford [and others] ; edited by M. Paul and H.J. Siegert.

Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 190.Publisher: Berlin ; New York : Springer-Verlag, ©1985Description: 1 online resource (vi, 573 pages) : illustrationsContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783540393634
  • 3540393633
Subject(s): Genre/Form: Additional physical formats: Print version:: Distributed systems.DDC classification:
  • 001.64 19
LOC classification:
  • QA76.9.D5 D63 1985
Other classification:
  • 54.32
  • 28
Online resources:
Contents:
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.
Action note:
  • digitized 2010 HathiTrust Digital Library committed to preserve
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

Prepared for and presented during the Advanced course on distributed systems, methods and tools for specification, held April 3-12, 1984 and repeated April 16-25, 1985, organized by the Institut für Informatik, Technische Universität München.

Includes bibliographical references (pages 548-564) and index.

Use copy Restrictions unspecified star MiAaHDL

Electronic reproduction. [Place of publication not identified] : HathiTrust Digital Library, 2010. MiAaHDL

Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. MiAaHDL

http://purl.oclc.org/DLF/benchrepro0212

digitized 2010 HathiTrust Digital Library committed to preserve pda MiAaHDL

Print version record.

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.

Powered by Koha