Items related to Types for Proofs and Programs: International Workshop,...
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: New. Seller Inventory # 6381063-n
Seller Image
Types for Proofs and Programs: International Workshop, Types 2004, Jouy-En-Josas, France, December 15-18, 2004, Revised Selected Papers (Paperback or Softback)
Published by
Springer 1/25/2006, 2006
ISBN 10: 3540314288
ISBN 13: 9783540314288
New
Paperback or Softback
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.
Seller rating 5 out of 5 stars
Paperback or Softback. Condition: New. Types for Proofs and Programs: International Workshop, Types 2004, Jouy-En-Josas, France, December 15-18, 2004, Revised Selected Papers. Book. Seller Inventory # BBS-9783540314288
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: BooksRun, Philadelphia, PA, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: New. 2006. The item is brand new, never used or read. It's in perfect condition and may include supplements and/or access codes or come shrink-wrapped. Seller Inventory # 3540314288-10-1
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: California Books, Miami, FL, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # I-9783540314288
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: 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)
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments. Seller Inventory # UTD1520260
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.80
£ 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
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 290. Seller Inventory # 263069255