

Formal Methods for the Design of Real-Time Systems
- Undertitel
- 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
- Redaktör
- Flavio Corradini, Marco Bernardo
- ISBN
- 9783540300809
- Språk
- Engelska
- Utgivningsdatum
- 2004-12-07
- Tillgängliga elektroniska format
- PDF - Adobe DRM
- Läs e-boken här
- E-boksläsare i mobil/surfplatta
- Läsplatta
- Dator
