Program variables
the core of mechanical reasoning about imperative programs
- Kieli
- Englanti
- Julkaisuvuosi
- 2006
- Muoto
- Nidottu (pehmeäkantinen)
Aiheet
Painostiedot
- Kustantaja
- Åbo Akademi University
- Julkaisuvuosi
- 2006
- Muoto
- Painettu kirja
- Koko
- 25 cm
- Sarja
- TUCS dissertations no 79
- ISBN
- 97895212178529521217855
- Lähde
- Fennica
Tarjoukset
1 aktiivinen tarjous
Finlandia KirjaKäytetyn kirjan verkkokauppa
KäytettyToimitusaika 4 päivää
18,00 €
