Back to Ai Books
Types for Proofs and Programs
by Jean-Christophe Filliatre,Christine Paulin-Mohring,Benjamin Werner
0.0 out of 5 (0 reviews)
Available Formats
View PDF
View EPUB
View MOBI
View FB2
Similar Books
Stewart English Program
Donald Stewart
Theory and applications of satisfiability testing-- SAT 2010
SAT 2010 (2010 Edinburgh, UK)
Fighting to Survive Animal Attacks
Eric Braun, Nancy Dickmann
How to read a person like a book
Gerard I. Nierenberg
