Logic In Computer Science
Modelling And Reasoning About Systems
- Editore:
Cambridge University Press
- EAN:
9780521652001
- ISBN:
0521652006
- Pagine:
- 405
- Formato:
- Hardback
- Lingua:
- Inglese
Acquistabile con
o la
Descrizione Logic In Computer Science
Introduction to logic and the logical frameworks used in modelling, specifying and verifying computer systems.
Fuori catalogo - Non ordinabile
Recensioni degli utenti
e condividi la tua opinione con gli altri utenti