Loogika arvutiteaduses
€72,90
Praegu otsasJätke oma e-posti aadress ja anname teile teada, kui raamat on taas saadaval. Tavaliselt kulub selleks 3-4 nädalat.
14-päevane tagastusgarantiiMuutsid meelt? Tellimuse saad igal ajal tühistada või 14 päeva jooksul tagastada. Tagastustingimused
Raamatust
See teine väljaanne pakub jätkuvalt selget sissejuhatust formaalsele arutluskäigule, mis on nii asjakohane tänapäeva arvutiteaduse vajaduste seisukohast kui ka piisavalt põhjalik praktiliseks rakendamiseks. Täiustusi on tehtud kogu ulatuses, lisades palju täiendavaid ja laiendatud peatükke ja harjutusi. Mudelikontrolli käsitlust on oluliselt ajakohastatud.
| Autor | Michael Huth |
|---|---|
| Kirjastus | Cambridge University Press |
| Ilmumisaasta | 2004 aasta |
| Keel | inglise |
| Lehekülgi | 440 leheküljed |
| Köide | Pehmekaaneline |
| ISBN | 9780521543101 |