Types for Proofs and Programs
Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner
Häftad, 2006
573 kr
Types for Proofs and Programs
International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
AvBenjamin Werner,Christine Paulin-Mohring
E-bok
PDF, Engelska, 2006739 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Interactive Theorem Proving
Sandrine Blazy, Christine Paulin-Mohring, David Pichardie
Häftad, 2013
573 kr