Mechanized Reasoning for Dually-nondeterministic and Probabilistic Programs
Celiku Orieta
Ehdotettu tuote
Celiku Orieta
Mechanized Reasoning for Dually-nondeterministic and Probabilistic Programs
14,00 €
Toimitus Suomeen 6,90 €
Yhteensä 20,90 €
Käytetty - tyydyttävä (K2+)
Nidottu (pehmeäkantinen)
2006 / 1. painos
Finlandia Kirja
Haetaan tuotteita...
Tiedot
Kustantaja/julkaisija
Turku Centre for Computer Science
Sidosasu
Nidottu (pehmeäkantinen)
ISBN
9521217650
9789521217654
Kieli
englanti
Alkuperäinen nimi
-
Kaikki tekijät
Celiku Orieta
Tuotekategoriat
-