Le livre est actuellement en rupture de stock
Achat du livre
Model checking nondeterministic and randomly timed systems, Martin R. Neuhäußer
- Langue
- Année de publication
- 2010
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Personne n'a encore évalué .