Spara
Formal Methods for Real-Time and Probabilistic Systems
e-bok, 2003
Engelska
Läs i Adobe DRM-kompatibel e-boksläsareDen här e-boken är kopieringsskyddad med Adobe DRM vilket påverkar var du kan läsa den. Läs mer
- Undertitel
- 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings
- Redaktör
- Jost-Pieter Katoen
- ISBN
- 9783540487784
- Språk
- Engelska
- Utgivningsdatum
- 2003-05-21
- Tillgängliga elektroniska format
- PDF - Adobe DRM
- Läs e-boken här
- E-boksläsare i mobil/surfplatta
- Läsplatta
- Dator
