Types for Proofs and Programs by Jean-Christophe Filliatre,Christine Paulin-Mohring,Benjamin Werner cover

Types for Proofs and Programs

by Jean-Christophe Filliatre,Christine Paulin-Mohring,Benjamin Werner

Genre: ai

Description

Types for Proofs and Programs by Jean-Christophe Filliatre,Christine Paulin-Mohring,Benjamin Werner. Read online or download for free.

Download

PDF EPUB MOBI FB2

Similar Books

Reversible Computation by Gerhard W. Dueck cover
Reversible Computation

Gerhard W. Dueck
Ashanti to Zulu by Margaret Musgrove cover
Ashanti to Zulu

Margaret Musgrove
Galvanometric Effects in Semiconductors by Albert C. Beer cover
Galvanometric Effects in Semiconductors

Albert C. Beer
The tarnished crown by Anthony Holden cover
The tarnished crown

Anthony Holden
C programming for UNIX by John Valley cover
C programming for UNIX

John Valley
Left hand, right hand! by Osbert Sitwell cover
Left hand, right hand!

Osbert Sitwell

Popular Genres

ai

17352 books
crypto

10551 books
anime

8284 books
japanese

6046 books
french

5068 books
german

3807 books
romance

2089 books
science_fiction

2061 books

Popular Authors

Unknown Author

1259 books
France

755 books
Corin Tellado

333 books
Robert Lawrence Stine

296 books
Stephen King

237 books
Philip M. Parker

173 books
Denise Robins

131 books
Barbara Cartland

114 books