Go back

Types For Proofs And Programs International Conference Types 2007 Cividale Del Friuli Italy May 2 5 2007 Revised Selected Papers(1st Edition)

Authors:

Marino Miculan

Free types for proofs and programs international conference types 2007 cividale del friuli italy may 2 5 2007
10 ratings
Cover Type:Hardcover
Condition:Used

In Stock

Shipment time

Expected shipping within 2 Days
Access to 30 Million+ solutions Free
Ask 50 Questions from expert AI-Powered Answers
7 days-trial

Total Price:

$0

List Price: $97.15 Savings: $97.15(100%)
Access to 30 Million+ solutions
Ask 50 Questions from expert AI-Powered Answers 24/7 Tutor Help Detailed solutions for Types For Proofs And Programs International Conference Types 2007 Cividale Del Friuli Italy May 2 5 2007 Revised Selected Papers

Price:

$9.99

/month

Book details

ISBN: 3540680845, 978-3540680840

Book publisher: Springer