Huth, Michael; Ryan, Mark Ryan
NUR: Informatica algemeen
ISBN-13: 9780521543101 | ISBN-10: 052154310X
Logic in Computer Science : Modelling and Reasoning about Systems
Groothandel - BESTEL
€ 64,95
Leverbaar
The second edition of this successful textbook continues to provide a clear introduction to formal reasoning relevant to the needs of modern computer science and sufficiently
Ingenaaid | 440 pagina's | Engels
1e druk | Verschenen in 2004
Rubriek: