Types for Proofs and Programs
International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Jean-Christophe Filliatre
Themen in »Types for Proofs and Programs«
Coq algorithm calculus formal methods formal reasoning formal verification optimization programming programming language programming theory proof theory proving rewriting systems subtyping theorem proving
Stimmen zu »Types for Proofs and Programs«
Details
ISBN: 9783540314295
Verlag: Springer Berlin
Erscheinung: 20.01.2006