
Formal Methods for the Design of Real-Time Systems (eBook, PDF)
International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures
Redaktion: Bernardo, Marco; Corradini, Flavio
Versandkostenfrei!
Sofort per Download lieferbar
40,95 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
20 °P sammeln!
Formal Methods for the Design of Real-Time Systems (eBook, PDF)
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.