50% und mehr sparen mit den eBook Schnäppchen der Woche² >>
Distributed Systems als Buch (kartoniert)
PORTO-
FREI

Distributed Systems

Methods and Tools for Specification. An Advanced Course. Auflage 1985. Paperback. Sprache: Englisch.
Buch (kartoniert)
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 distribute … weiterlesen
Buch (kartoniert)

€ 106,99 *

inkl. MwSt.
Portofrei
Lieferbar innerhalb von 5 bis 7 Werktagen
1,070 Lesepunkte
Distributed Systems als Buch (kartoniert)

Produktdetails

Titel: Distributed Systems
Autor/en: M. W. Alford, J. P. Ansart, G. Hommel, L. Lamport, B. Liskov

ISBN: 3540152164
EAN: 9783540152163
Methods and Tools for Specification. An Advanced Course.
Auflage 1985.
Paperback.
Sprache: Englisch.
Herausgegeben von Manfred Paul, H. J. Siegert
Springer Berlin Heidelberg

1. April 1985 - kartoniert - 584 Seiten

Beschreibung

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.

Mehr aus dieser Reihe

zurück
Artificial Intelligence in Music, Sound, Art and Design
Buch (kartoniert)
Artificial Intelligence in Music, Sound,…
Internet Science
Buch (kartoniert)
Internet Science
Policy-Based Autonomic Data Governance
Buch (kartoniert)
Policy-Based Autonomic Data Governance
Canadian AI 2019
Buch (kartoniert)
Canadian AI 2019
Algorithms for Computational Biology
Buch (kartoniert)
Algorithms for Computational Biology
vor
Entdecken Sie mehr
Servicehotline
089 - 70 80 99 47

Mo. - Fr. 8.00 - 20.00 Uhr
Sa. 10.00 - 20.00 Uhr
Filialhotline
089 - 30 75 75 75

Mo. - Sa. 9.00 - 20.00 Uhr
Bleiben Sie in Kontakt:
Sicher & bequem bezahlen:
akzeptierte Zahlungsarten: Überweisung, offene Rechnung,
Visa, Master Card, American Express, Paypal
Zustellung durch:
1 Mängelexemplare sind Bücher mit leichten Beschädigungen, die das Lesen aber nicht einschränken. Mängelexemplare sind durch einen Stempel als solche gekennzeichnet. Die frühere Buchpreisbindung ist aufgehoben. Angaben zu Preissenkungen beziehen sich auf den gebundenen Preis eines mangelfreien Exemplars.

2 Diese Artikel unterliegen nicht der Preisbindung, die Preisbindung dieser Artikel wurde aufgehoben oder der Preis wurde vom Verlag gesenkt. Die jeweils zutreffende Alternative wird Ihnen auf der Artikelseite dargestellt. Angaben zu Preissenkungen beziehen sich auf den vorherigen Preis.

4 Der gebundene Preis dieses Artikels wird nach Ablauf des auf der Artikelseite dargestellten Datums vom Verlag angehoben.

5 Der Preisvergleich bezieht sich auf die unverbindliche Preisempfehlung (UVP) des Herstellers.

6 Der gebundene Preis dieses Artikels wurde vom Verlag gesenkt. Angaben zu Preissenkungen beziehen sich auf den vorherigen Preis.

7 Die Preisbindung dieses Artikels wurde aufgehoben. Angaben zu Preissenkungen beziehen sich auf den vorherigen Preis.

* Alle Preise verstehen sich inkl. der gesetzlichen MwSt. Informationen über den Versand und anfallende Versandkosten finden Sie hier.