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

Account

Vaihda kieli

Suomi

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

In stock

Only %1 left

SKU

P-MECH-2F7480

See all options

More Information
Categories	Nonfiction > Technology, Information technology, Machinery Technology, Information technology, Machinery > Information & media technology, Computing
Author	Orieta Celiku
Title	Mechanized Reasoning for Dually-nondeterministic and Probabilistic Programs
SKU	P-MECH-2F7480

☎ +358 40 541 9287 (weekdays from 8:00 to 15:00)