Mechanized reasoning for dually-nondeterministic and probabilistic programs

Oppikirjat ja opiskelu

Mechanized reasoning for dually-nondeterministic and probabilistic programs

Orieta CelikuKirjailija

Kieli: Englanti
Julkaisuvuosi: 2006
Muoto: Nidottu (pehmeäkantinen)

Oppikirjat ja opiskelu TUCS Dissertations no 77

Painostiedot

Kustantaja: Åbo Akademi University
Julkaisuvuosi: 2006
Muoto: Painettu kirja
Koko: 25 cm
Sarja: TUCS dissertations no 77
ISBN: 97895212176549521217650
Lähde: Fennica

Tarjoukset

1 aktiivinen tarjous

Finlandia KirjaKäytetyn kirjan verkkokauppa

KäytettyToimitusaika 4 päivää

14,00 €