Program Proofs(1st Edition)
Authors:
K. Rustan M. Leino ,Kaleb Leino
In Stock
Shipment time
Expected shipping within 2 DaysPopular items with books
Total Price:
$0
Solution Manual Includes
Price:
$9.99
Book details
ISBN: 026254623X, 978-0262546232
Book publisher: The MIT Press
Frequently Bought Together
Elementary Statistics - 11th Edition
Mario F. Triola
ISBN: 321500245, 321500243, 978-0321500243
$0 $14.69
Data Structures And Algorithms Using Swift - 1st Edition
Hemant Jain
ISBN: 1980722528, 978-1980722526
$0 $55.55
Introductory Statistics Exploring The World Through Data - 2nd Edition
Robert Gould
ISBN: 9780321978509, 321978277, 321978501, 978-0321978271
$0 $26.18
Advanced Accounting - 12th edition
Paul M. Fischer
ISBN: 1305084853, 978-1305464803, 130546480X, 978-1305799448, 978-1305084858
$0 $11.39
Plane Trigonometry And Tables - 1st Edition
George David Eugene Smith Wentworth
ISBN: B00086Y110
$0 $75.88
Numerical Recipes In C The Art Of Scientific Computing - 1st Edition
Foundation
ISBN: 818561816X, 978-8185618166
$0 $30.03
Playing With Parallel Port Make Your Own Gui With Turbo C To Control Your Robot - 1st Edition
Mr Ujash G Patel
ISBN: 1532834829, 978-1532834820
$0 $19.28