Yazar
jean christophe filliatre
5 cilt bulundu.
Cilt sonuçları
Informatique - MP2I/MPI - CPGE 1re et 2e années
Thibaut Balabonski, Sylvain Conchon, Jean-Christophe Filliâtre, Kim Nguyen, Laurent Sartre · ELLIPSES
1116 sayfa · 2022
Kategori yok
Types for proofs and programs
Jean-Christophe Filliâtre, Benjamin Werner · Springer
275 sayfa · 2006
Congresses / Computer programming / Automatic theorem proving / Logic design / Data processing
Types for Proofs and Programs
Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner · Springer
Sayfa sayısı yok · 2008
Kategori yok
Types for Proofs and Programs
Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner · Springer London, Limited
280 sayfa · 2006
Automatic theorem proving / Computer programming