CADASTRE-SE
LOGIC IN COMPUTER SCIENCE: MODELLING AND REASONING ABOUT SYSTEMS
Huth , Michael; Ryan , Mark (0) votos | (0) comentários
Sinopse
Provides a sound basis in logic, and introduces logical frameworks used in modelling, specifying and verifying computer systems.
| Categoria | |
| Editora | Cambridge University Press |
| ISBN-13 | 9780521543101 |
| ISBN | 052154310X |
| Edição | 2 / 2004 |
| Idioma | Português |
| Páginas | 440 |
| Estante | 0 0 0 0 |
| Sua estante | |
2% chance de ser solicitado
CADASTRE-SE
AVALIAÇÃO DO LEITOR
Quero comentar sobre este livro
