Le livre est actuellement en rupture de stock
Achat du livre
Verification of infinite state systems using Presburger arithmetic, Tobias Schüle
- Langue
- Année de publication
- 2007
- product-detail.submit-box.info.binding
- (souple)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Personne n'a encore évalué .