Il libro è attualmente esaurito
Acquisto del libro
Verification of infinite state systems using Presburger arithmetic, Tobias Schüle
- Lingua
- Pubblicato
- 2007
- product-detail.submit-box.info.binding
- (In brossura)
Ti avviseremo via email non appena lo rintracceremo.
Metodi di pagamento
Ancora nessuna valutazione.