Logic in Computer Science
Modelling and Reasoning about Systems
Vše od
Cambridge University Press
ISBN: 9780521543101
This second edition continues to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical application. Improvements have been made throughout, with many extra and expanded sections and exercises. The coverage...
1 719 Kč
- 1 - 2 ks
- 1 719 Kč
- 3 - 10 ks
- 1 702 Kč
- 11 a více ks
- 1 685 Kč
Předpoklad doručení do 11. května *
* Termín expedice je odhadovaný a může se mírně upravit podle termínu dodání od našeho dodavatele. Pokud by došlo ke změně, vždy vás budeme včas informovat.
Nepřehlédněte od Cambridge University Press ↓
1 719 Kč
Více o produktu ↓
This second edition continues to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical application. Improvements have been made throughout, with many extra and expanded sections and exercises. The coverage of model-checking has been substantially updated.
- Výrobce
- Cambridge University Press
- Jazyk
- United Kingdom
- Autor
- Huth, Michael (Imperial College of Science, Technology and Medicine, London);Ryan, Mark (University of Birmingham)
- Rozměry
- 246 x 173 x 22
- Rok vydání
- 2004
- Počet stran
- 440
- Obsah
- Paperback / softback
- Hmotnost
- 804
- Počet stran
- 440 pages, Worked examples or Exercises; 10 Tables, unspecified
Zanechte své hodnocení
Budeme rádi, když se podělíte o svou zkušenost s Logic in Computer Science a pomůžete tak ostatním zákazníkům při výběru.
Navíc každý měsíc losujeme jednoho z těch, kteří nám zanechali recenzi, a obdarujeme ho kuponem na nákup v hodnotě 500 Kč. Možná právě Vy budete tím šťastným – držíme palce!
