Refinement Calculus A Systematic Introduction Texts In Computer Science(1998 Edition)
Authors:
Ralph-Johan Back, Joakim Wright
In Stock
Shipment time
Expected shipping within 2 DaysPopular items with books
Total Price:
$0
Solution Manual Includes
Price:
$9.99
Book details
ISBN: 0387984178, 978-0387984179
Book publisher: Springer
Customers also bought these books
Programming And Meta Programming In Scheme Undergraduate Texts In Computer Science - 1st Edition
Jon Pearce
ISBN: 0387983201, 978-0387983202
$0 $94.05Frequently Bought Together
Rocket Man Robert H. Goddard And The Birth Of The Space Age - 1st Edition
David A. Clary
ISBN: 1401398332, 9781401398330
$0 $9.99
Applying International Financial Reporting Standards - 2nd Edition
Keith Alfredson
ISBN: 0470819677, 978-0470819678
$0 $3.99
Python Programming In Context - 3rd Edition
Bradley N Miller
ISBN: 128417557X, 9781284175578
$0 $116.49
Essentials Of Federal Taxation 2018 - 9th Edition
Brian Spilker
ISBN: 1260007642, 978-1260150292, 1260150291, 978-1260007640
$0 $17.09
Verification Of Sequential And Concurrent Programs Texts In Computer Science - 2nd Edition
Krzysztof R. Apt
ISBN: 0387948966, 978-0387948966
$0 $99.99
Fundamentals Of Parameterized Complexity Texts In Computer Science - 2013 Edition
Rodney G. Downey
ISBN: 978-1447155584
$0 $139.99