Logic in Computer Science: Modelling and Reasoning about Systems - Huth, Michael (Imperial College of Science, Technology and Medicine, London) - Grāmatas - Cambridge University Press - 9780521543101 - 2004. gada 26. augusts
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Huth, Michael (Imperial College of Science, Technology and Medicine, London)
Logic in Computer Science: Modelling and Reasoning about Systems 2 Revised edition

Cena
€ 92,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 17. nov. - . gada 1. dec.
Ziemassvētku dāvanas var atgriezt līdz 31. janvārim
Saņemiet paziņojumus par jauniem Huth, Michael (Imperial College of Science, Technology and Medicine, London) izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

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  

Vairāk no tā paša izdevēja

Skatīt visus Huth, Michael (Imperial College of Science, Technology and Medicine, London)