Bücher versandkostenfrei*100 Tage RückgaberechtAbholung in der Wunschfiliale

NEU: Das Hugendubel Hörbuch Abo - jederzeit, überall, für nur 7,95 € monatlich!

Jetzt entdecken

mehr erfahren

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

Distributed Systems

Name: Distributed Systems
Brand: Springer Berlin Heidelberg
Price: 53.49 EUR
Availability: InStock

Methods and Tools for Specification. An Advanced Course

(0 Bewertungen)15

535 Lesepunkte

Buch (kartoniert)

53,49 €inkl. Mwst.

Zustellung: Do, 10.07. - Sa, 12.07.

Versand in 2 Tagen

Versandkostenfrei

Bestellen & in Filiale abholen:

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.

Inhaltsverzeichnis

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.

Produktdetails

Erscheinungsdatum

01. April 1985

Sprache

englisch

Auflage

1985

Seitenanzahl

584

Reihe

Lecture Notes in Computer Science

Autor/Autorin

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

Herausgegeben von

Manfred Paul, H. J. Siegert

Verlag/Hersteller

Springer Berlin Heidelberg

Produktart

kartoniert

Abbildungen

VIII, 576 p.

Gewicht

873 g

Größe (L/B/H)

235/155/32 mm

ISBN

9783540152163

Entdecken Sie mehr

Netzwerk-Hardware

Bewertungen

0 Bewertungen

Es wurden noch keine Bewertungen abgegeben. Schreiben Sie die erste Bewertung zu "Distributed Systems" und helfen Sie damit anderen bei der Kaufentscheidung.