Il libro è attualmente esaurito
Acquisto del libro
Verification, model checking, and abstract interpretation, Bernhard Steffen
- Lingua
- Pubblicato
- 2004
- product-detail.submit-box.info.binding
- (In brossura)
Ti avviseremo via email non appena lo rintracceremo.
Metodi di pagamento
Ancora nessuna valutazione.