Huth, Michael R. A. (Autor)
Ryan, Mark D. (Autor)
Logic in Computer Science
Modelling and Reasoning about Systems
Beschreibung
Produktdetails
| ISBN/GTIN | 978-0-511-26158-9 |
|---|---|
| Kopierschutz | Digital Rights Management |