Logic in Computer Science
440
Pagini
2004
An
Paperback
Copertă
Editura
Cambridge University Press
Copertă
Paperback
Pagini
440
An publicare
2004
ISBN
9780521543101
Categorii
Informatică & Programare
Descriere
Provides a sound basis in logic, and introduces logical frameworks used in modelling, specifying and verifying computer systems.
Provides a sound basis in logic, and introduces logical frameworks used in modelling, specifying and verifying computer systems.
Conectează-te pentru a lăsa o recenzie
🔥
🔥
🔥
🔥
🔥
Nicio recenzie încă
Fii primul care lasă o impresie.
