Il libro è attualmente esaurito
Acquisto del libro
Liveness checking as safety checking to find shortest counterexamples to linear time properties, Viktor Schuppan
- Lingua
- Pubblicato
- 2006
- product-detail.submit-box.info.binding
- (In brossura)
Ti avviseremo via email non appena lo rintracceremo.
Metodi di pagamento
Ancora nessuna valutazione.