Pastāsti draugiem par šo preci:
Logic in Computer Science: Modelling and Reasoning about Systems Huth, Michael (Imperial College of Science, Technology and Medicine, London) 2 Revised edition
Cena
€ 70,49
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 15. - 22. sept.
Saņemiet paziņojumus par jauniem Huth, Michael (Imperial College of Science, Technology and Medicine, London) izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
Logic in Computer Science: Modelling and Reasoning about Systems
Huth, Michael (Imperial College of Science, Technology and Medicine, London)
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.
440 pages, 10 tables 400 exercises
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2004. gada 26. augusts |
| ISBN13 | 9780521543101 |
| Izdevēji | Cambridge University Press |
| Lapas | 440 |
| Izmēri | 173 × 246 × 22 mm · 804 g |
| Valoda | Angļu |
