Interactive Theorem Proving First International Conference ITP 2010 Edinburgh UK July 11 14 2010 Proceedings(2010 Edition)
Authors:
Matt Kaufmann ,Lawrence C. Paulson
In Stock
Shipment time
Expected shipping within 2 DaysPopular items with books
Total Price:
$0
Book details
ISBN: 3642140513, 978-3642140518
Book publisher: Springer
Frequently Bought Together
Economics of Money, Banking and Financial Markets - 9th Edition
Frederic S. Mishkin
ISBN: 978-0321607751, 9780321599797, 321607759, 0321599799, 978-0321598905
$0 $216.40
Search Engine Optimization Become An SEO Expert Master Search Engine Optimization Tools And Strategies - 1st Edition
Samantha Blake
ISBN: B0DB5KJ4C8, 979-8334019591
$0 $14.99
Public Finance A Contemporary Application Of Theory To Policy - 12th Edition
David N Hyman
ISBN: 0357442156, 978-0357442159
$0 $274.95
New Jersey Student Learning Assessments NJSLA Test Practice Grade 6 - 1st Edition
Lumos Learning
ISBN: 1689670355, 978-1689670357
$0 $99.99
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
Geometric Modelling Dagstuhl 2002 - 2004 Edition
S. Hahmann
ISBN: 3211208186, 978-3211208182
$0 $102.98
Computational Galerkin Methods - 1st Edition
C. A. J. Fletcher
ISBN: 3642859518, 978-3642859519
$0 $80.69