Logic in Computer Science – Modelling and Reasoning about Systems – Second Edition
Häftad bok. Cambridge University Press. 2 uppl. 2008. xiv+427 sidor.
Mycket gott skick.
Fint exemplar med lättare hanteringsspår.
Huvudkapitel i boken: 1. Propositional logic; 2. Predicate logic; 3. Verification by model checking; 4. Program verification; 5. Modal logics and agents; 6. Binary decision diagrams.
Förlagsfakta
- ISBN
- 9780521543101
- Titel
- Logic in computer science - modelling and reasoning about systems
- Författare
- Mark Ryan
- Förlag
- Cambridge University Press
- Utgivningsår
- 2004
- Omfång
- 440 sidor
- Bandtyp
- Mått
- 174 x 247 mm
- Vikt
- 750 g
- Språk
- Svenska