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

€14.00
In stock
Only %1 left
SKU
P-MECH-2F7480
See all options
More Information
Categories
AuthorOrieta Celiku
TitleMechanized Reasoning for Dually-nondeterministic and Probabilistic Programs
SKUP-MECH-2F7480
☎ +358 40 541 9287 (weekdays from 8:00 to 15:00)
Copyright © Finlandia Kirja