Knihu momentálně nemáme skladem
Parametry
Nákup knihy
Liveness checking as safety checking to find shortest counterexamples to linear time properties, Viktor Schuppan
- Jazyk
- Rok vydání
- 2006
- product-detail.submit-box.info.binding
- (měkká)
Jakmile ji vyčmucháme, pošleme e-mail.
Doručení
Platební metody
Nikdo zatím neohodnotil.