Designing Reliable Distributed Systems (eBook, PDF)
A Formal Methods Approach Based on Executable Modeling in Maude
Versandkostenfrei!
Sofort per Download lieferbar
56,95 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
28 °P sammeln!
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
Does not assume or require any formal methods or theoretical computer science background
Contains exercises throughout
Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.
Andere Kunden interessierten sich für
