Types for Proofs and Programs: International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers (Lecture Notes in Computer Science, 4941) - Softcover
Synopsis
This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2007, the concluding conference of the Types project, held in Cividale del Friuli, Italy, in May 2007. The 13 revised full papers presented were carefully reviewed and selected from 22 submissions. The topic of this last annual workshop of the Types Working Group was formal reasoning and computer programming based on type theory. Great importance was attached to languages and computerized tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalization of mathematics and mathematics education.
"synopsis" may belong to another edition of this title.
From the Back Cover
This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2007, the concluding conference of the Types project, held in Cividale del Friuli, Italy, in May 2007.
The 13 revised full papers presented were carefully reviewed and selected from 22 submissions. The topic of this last annual workshop of the Types Working Group was formal reasoning and computer programming based on type theory. Great importance was attached to languages and computerized tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalization of mathematics and mathematics education.
"About this title" may belong to another edition of this title.
Search results for Types for Proofs and Programs: International Conference,...
Stock Image
Types for Proofs and Programs: International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers (Lecture Notes . Computer Science and General Issues)
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding. Seller Inventory # 11018A
Stock Image
Types For Proofs And Programs: International Conference, Types 2007, Cividale Del Friuli, Italy, May 2-5, 2007, Revised Selected Papers
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEOCT25-242415
Stock Image
Types For Proofs And Programs: International Conference, Types 2007, Cividale Del Friuli, Italy, May 2-5, 2007, Revised Selected Papers
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABNR-1124
Stock Image
Types For Proofs And Programs: International Conference, Types 2007, Cividale Del Friuli, Italy, May 2-5, 2007, Revised Selected Papers
Seller: SMASS Sellers, IRVING, TX, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. Seller Inventory # ASNT3-1124
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. 220. Seller Inventory # 26478900
Stock Image
Types for Proofs and Programs
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. pp. 220 Illus. Seller Inventory # 7401835
Buy New
US$ 45.72
US$ 8.77 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
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. pp. 220. Seller Inventory # 18478910
Buy New
US$ 50.29
US$ 11.72 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 4 available
Seller Image
Types for Proofs and Programs : International Conference, TYPES 2007, Cividale Del Friuli, Italy, May 2-5, 2007, Revised Selected Papers
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 5645139-n
Seller Image
Types for Proofs and Programs : International Conference, TYPES 2007, Cividale Del Friuli, Italy, May 2-5, 2007, 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 # 5645139
Stock Image
Types for Proofs and Programs: International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers (Lecture Notes in Computer Science, 4941)
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9783540680840