The little prover /

The Little Prover introduces inductive proofs as a way to determine facts about computer programs. It is written in an approachable, engaging style of question-and-answer, with the characteristic humor of The Little Schemer (fourth edition, MIT Press). Sometimes the best way to learn something is to...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Authors: Friedman, Daniel P. (Author), Eastlund, Carl (Author)
Other Authors: Bibby, Duane (Illustrator), Moore, J Strother, 1947- (writer of foreword.), Felleisen, Matthias (writer of afterword.)
Format: Electronic eBook
Language:Inglés
Published: Cambridge, Massachusetts : MIT Press, [2015]
Subjects:
Automatic theorem proving.
LISP (Computer program language)
Théorèmes > Démonstration automatique.
LISP (Langage de programmation)
MATHEMATICS > General.
COMPUTERS > Programming > General.
Automatic theorem proving
Online Access:Texto completo

Internet

Texto completo

Error inesperado del formato de respuesta.
Holdings details from

Similar Items