Little Prover
248
Pagini
2015
An
Paperback
Copertă
Editura
MIT Press Ltd
Copertă
Paperback
Pagini
248
An publicare
2015
ISBN
9780262527958
Categorii
Informatică & Programare
Descriere
An introduction to writing proofs about computer programs, written in an accessible question-and-answer style, complete with step-by-step examples and a simple proof assistant.
An introduction to writing proofs about computer programs, written in an accessible question-and-answer style, complete with step-by-step examples and a simple proof assistant.
Conectează-te pentru a lăsa o recenzie
🔥
🔥
🔥
🔥
🔥
Nicio recenzie încă
Fii primul care lasă o impresie.
