IHR WARENKORB IST AKTUELL LEER.

Haben Sie noch nichts passendes gefunden? Stöbern Sie durch unser komplettes Sortiment.

Oder melden Sie sich an bzw. registrieren Sie sich.

Ihre Vorteile

Kostenlose Lieferung
Kauf auf Rechnung
Ex Libris Tiefpreis
Filiallieferung und 650+ Abholorte
Rabatt-Bons als Club-Mitglied

Designing Reliable Distributed Systems

Von:

Peter Csaba Ölveczky

Beschreibung

Introduces formal modeling of abstract data types and distributed systems Does not assume or require any formal methods or theoretical computer science background Contains exercises throughout Introduces formal modeling of abstract data types and distributed ...

Format auswählen

Kartonierter EinbandCHF 90.80
E-Book (pdf)CHF 78.90

Kartonierter Einband

CHF90.80

E-Book (pdf)

CHF78.90

TIEFPREIS

CHF90.80

Print on Demand - Exemplar wird für Sie gedruckt.

Kostenlose Lieferung

Kein Rückgaberecht

Beschreibung

Introduces formal modeling of abstract data types and distributed systems

Does not assume or require any formal methods or theoretical computer science background

Contains exercises throughout

Introduces formal modeling of abstract data types and distributed systems Does not assume or require any formal methods or theoretical computer science background Contains exercises throughout

Autorentext
Dr. Peter Csaba Ölveczky is a Professor in the Department of Informatics at the University of Oslo, Norway.

Inhalt

Introduction.- Part I: Equational Specifications and Their Analysis .- Equational Specification in Maude.- Operational Semantics of Equational Specifications.- Termination.- Confluence.- Equational Logic.- Models of Equational Specifications.- Part II: Specification and Analysis of Distributed Systems in Maude .- Modeling Distributed Systems in Rewriting Logic.- Executing Rewriting Logic Specifications in Maude.- Concurrent Objects in Maude.- Modeling Communication in Maude.- Modeling and Analyzing Transport Protocols.- Distributed Algorithms.- Analyzing a Cryptographic Protocol.- System Requirements.- Formalizing and Checking Requirements.- Real-Time and Probabilistic Systems.- Appendix A: Mathematical Preliminaries.