Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers: 3839 (Lecture Notes in Computer Science, 3839) - Softcover
Synopsis
The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on type theory are addressed; in particular languages and computerised tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalisation of mathematics and mathematics education.
"synopsis" may belong to another edition of this title.
Search results for Types for Proofs and Programs: International Workshop,...
Seller Image
Types for Proofs And Programs : International Workshop, Types 2004, Jouy-en-josas, France, December 15-18, 2004, Revised Selected Papers
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 6381063
Stock Image
Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers (Lecture Notes in Computer Science, 3839)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540314288_new
Buy New
£ 50.43
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Types for Proofs and Programs : International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783540314288
Buy New
£ 47.71
£ 15.49 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 10 available
Seller Image
Types for Proofs And Programs : International Workshop, Types 2004, Jouy-en-josas, France, December 15-18, 2004, Revised Selected Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 6381063-n
Buy New
£ 50.19
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Types for Proofs And Programs : International Workshop, Types 2004, Jouy-en-josas, France, December 15-18, 2004, Revised Selected Papers
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 6381063-n
Stock Image
Types for Proofs and Programs
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 290. Seller Inventory # 263069255
Seller Image
Types for Proofs And Programs : International Workshop, Types 2004, Jouy-en-josas, France, December 15-18, 2004, Revised Selected Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 6381063
Buy Used
£ 55.92
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Types for Proofs and Programs
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand pp. 290 Illus. Seller Inventory # 5859992
Buy New
£ 67.03
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Stock Image
Types for Proofs and Programs
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 290. Seller Inventory # 183069261
Seller Image
Types for Proofs and Programs
Published by
Springer Berlin Heidelberg, 2006
ISBN 10: 3540314288
ISBN 13: 9783540314288
New
Kartoniert / Broschiert
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Kartoniert / Broschiert. Condition: New. Refereed post-proceedings of the annual International Workshop of the Types Working Group, TYPES 2004Issues of formal reasoning and computer programming based on type theory are addressedCovers languag. Seller Inventory # 4887593
Buy New
£ 57.09
£ 42.37 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available