Spar
Formal Methods for Real-Time and Probabilistic Systems
e-bok, 2003
Engelsk
Les i Adobe DRM-kompatibelt e-bokleserDenne e-boka er kopibeskyttet med Adobe DRM som påvirker hvor du kan lese den. Les mer
- Undertittel
- 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings
- Redaktør
- Jost-Pieter Katoen
- ISBN
- 9783540487784
- Språk
- Engelsk
- Utgivelsesdato
- 21.5.2003
- Tilgjengelige elektroniske format
- PDF - Adobe DRM
- Les e-boka her
- E-bokleser i mobil/nettbrett
- Lesebrett
- Datamaskin
