Het boek is momenteel niet op voorraad
Een boek kopen
Verification of infinite state systems using Presburger arithmetic, Tobias Schüle
- Taal
- Jaar van publicatie
- 2007
- product-detail.submit-box.info.binding
- (Paperback)
Zodra we het ontdekt hebben, sturen we een e-mail.
Betaalmethoden
Nog niemand heeft beoordeeld.