Types for Proofs and Programs
Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner
Häftad, 2006
561 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, 2006708 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
561 kr