JavaScript seems to be disabled in your browser. For the best experience on our site, be sure to turn on Javascript in your browser.

Valikko

Tili

Switch language

English

Skip to the end of the images gallery

Skip to the beginning of the images gallery

Orieta Celiku : Mechanized Reasoning for Dually-nondeterministic and Probabilistic Programs

Name: Orieta Celiku : Mechanized Reasoning for Dually-nondeterministic and Probabilistic Programs
SKU: P-MECH-2F7480
Price: 14 EUR
Availability: InStock

14,00 €

Varastossa

Vain %1 jäljellä

SKU

P-MECH-2F7480

Katso kaikki vaihtoehdot

Lisätietoja
Tuoteryhmä	Tietokirjallisuus > Tekniikka, tietotekniikka, koneet Tekniikka, tietotekniikka, koneet > Tietotekniikka, mediatekniikka, koneohjelmat
Tekijä	Orieta Celiku
Teoksen nimi	Mechanized Reasoning for Dually-nondeterministic and Probabilistic Programs
SKU	P-MECH-2F7480

☎ 040 541 9287 (arkisin klo 8-15)