logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Types for Proofs and Programs: International Workshop, Types 2004, Jouy-En-Josas, France, December 15-18, 2004, Revised Selected Papers - J. Filliatre, J. Filliatre
Types for Proofs and Programs: International Workshop, Types 2004, Jouy-En-Josas, France, December 15-18, 2004, Revised Selected Papers
by: (author) (author)
Format: paperback
ISBN: 9783540314288 (3540314288)
Publisher: Springer
Pages no: 280
Edition language: English
Bookstores:
Books by J. Filliatre
Books by J. Filliatre
Share this Book
Need help?