Local cover image
Logic in computer science : modelling and reasoning about systems
Material type:
TextPublication details: Inglaterra : Cambridge University Press, 2004Edition: 2nd edDescription: xiv, 427 p. : il. ; 25 cmISBN: - 9780521543101
Contents:
Propositional logic -- Predicate logic -- Verification by model checking -- Program verification -- Modal logic and agents -- Binary decision diagrams.
| Item type | Home library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
Libro
|
Biblioteca de la Facultad de Informática | F.4.1 HUT (Browse shelf(Opens below)) | Available | DIF-03421 |
Browsing Biblioteca de la Facultad de Informática shelves Close shelf browser (Hides shelf browser)
| F.4.1 HAM Lógica para matemáticos | F.4.1 HAM Lógica para matemáticos | F.4.1 HAM Lógica para matemáticos | F.4.1 HUT Logic in computer science : modelling and reasoning about systems | F.4.1 KOW Lógica, programación e inteligencia artificial | F.4.1 KOW Lógica, programación e inteligencia artificial | F.4.1 LOG Logic of computation |
Propositional logic -- Predicate logic -- Verification by model checking -- Program verification -- Modal logic and agents -- Binary decision diagrams.
Click on an image to view it in the image viewer