Welcome to E-Books Directory
This is a freely downloadable e-book.

Certified Programming with Dependent Types

Certified Programming with Dependent Types
by Adam Chlipala

Number of pages: 371

Due in no small part to some bold but unfulfilled promises in the history of computer science, today most people who write software, practitioners and academics alike, assume that the costs of formal program verification outweigh the benefits. The purpose of this book is to convince you that the technology of program verification is mature enough today that it makes sense to use it in a support role in many kinds of research projects in computer science.

Home page url

 Download or read it online here:

Download link

 (3.9MB, PDF)