Orieta Celiku : Mechanized Reasoning for Dually-nondeterministic and Probabilistic Programs
14,00 €
Varastossa
Vain %1 jäljellä
SKU
P-MECH-2F7480
| Tuoteryhmä | |
|---|---|
| Tekijä | Orieta Celiku |
| Teoksen nimi | Mechanized Reasoning for Dually-nondeterministic and Probabilistic Programs |
| SKU | P-MECH-2F7480 |
