• Home /
  • Distributed Systems (eBook)

Distributed Systems (eBook)

Methods and Tools for Specification. An Advanced Course
Artikelnummer: 978-3-540-39363-4
Einband: PDF
Verfügbarkeit: Noch nicht erschienen, April 2027
CHF 59.00

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.

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.

Schreiben Sie Ihre eigene Bewertung
  • Nur registrierte Benutzer können Produkte bewerten
*
*
Schlecht
Sehr gut
*
*
*
*
VerlagSpringer Berlin Heidelberg
EinbandPDF
Erscheinungsjahr2005
Seitenangabe576 S.
AusgabekennzeichenEnglisch
AbbildungenVIII, 576 p.
Auflage1985
PlattformPDF
ReiheLecture Notes in Computer Science
AutorAlford, M. W. / Ansart, J. P. / Hommel, G. / Lamport, L. / Liskov, B. / Mullery, G. P. / Schneider, F. B. / Paul, Manfred (Hrsg.) / Siegert, H. J. (Hrsg.)

Alle Bände der Reihe "Lecture Notes in Computer Science"

Weitere Titel von M. W. Alford

Produktbewertungen
Nur registrierte Benutzer können Produkte bewerten