Loogika arvutiteaduses
€72,90
Временно нет на складеОставьте адрес электронной почты, и мы сообщим, как только книга появится, обычно в течение 3-4 недель.
14‑дневная гарантия возвратаПередумали? Вы можете отменить заказ в любое время или оформить возврат в течение 14 дней. Политика возврата
О книге
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.
| Автор | Michael Huth |
|---|---|
| Издательство | Cambridge University Press |
| Издано | 2004 aasta |
| Язык | английский |
| Страницы | 440 leheküljed |
| Формат | Мягкая обложка |
| ISBN | 9780521543101 |