Kniha momentálne nie je na sklade
Nákup knihy
Verification of infinite state systems using Presburger arithmetic, Tobias Schüle
- Jazyk
- Rok vydania
- 2007
- product-detail.submit-box.info.binding
- (mäkká)
Akonáhle sa objaví, pošleme e-mail.
Doručenie
Platobné metódy
Nikto zatiaľ neohodnotil.