Huth, Michael; Ryan, Mark Ryan

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:

  • NUR: Informatica algemeen
  • ISBN-13: 9780521543101 | ISBN-10: 052154310X