Het boek is momenteel niet op voorraad
Een boek kopen
Model checking nondeterministic and randomly timed systems, Martin R. Neuhäußer
- Taal
- Jaar van publicatie
- 2010
Zodra we het ontdekt hebben, sturen we een e-mail.
Betaalmethoden
Nog niemand heeft beoordeeld.