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
In Stock
Shipment time
Expected shipping within 2 DaysPopular items with books
Total Price:
$0
Book details
ISBN: 3540680845, 978-3540680840
Book publisher: Springer
Frequently Bought Together
Fundamental Financial Accounting Concepts - 9th edition
Thomas Edmonds
ISBN: 9781259296802, 9781259296758, 78025907, 1259296806, 9781259296765, 978-0078025907
$0 $223.44
Emotional Intelligence Matters A Machine-Generated Literature Overview - 1st Edition
R.S. Mekhala
ISBN: 9819977266, 978-9819977260
$0 $132.99
Engineering Economy - 8th edition
Leland T. Blank
ISBN: 73523439, 73523437, 978-0073523439
$0 $258.00
Space Flight Dynamics From The Ground Up Background And Practical Knowledge For Orbital And Attitude Computations And Space Flight Planning - 1st Edition
Kenneth J Ernandes
ISBN: 0997147253, 978-0997147254
$0 $99.95
Convexity And Connectivity Of The Solution Space In Machine Learning Problems - 1st Edition
Maxime Hardy
ISBN: B07N3RTJ7G, 979-1097005023
$0 $63.86
Advances In Web And Network Technologies And Information Management Apweb/Waim 2007 International Workshops Dbman 2007 Webetrends 2007 Pais 2007 - 1st Edition
Kevin C Chang
ISBN: 3540729089, 978-3540729082
$0 $87.56