Logic In Computer Science
Modelling And Reasoning About Systems
- Editore:
Cambridge University Press
- EAN:
9780521656023
- ISBN:
0521656028
- Pagine:
- 405
- Formato:
- Paperback
- 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
€ 27.00
Recensioni degli utenti
e condividi la tua opinione con gli altri utenti