Verification Of Sequential And Concurrent Programs Texts In Computer Science(2nd Edition)
Authors:
Krzysztof R. Apt, Ernst-Rüdiger Olderog
In Stock
Include with your book
Free shipping: April 23, 2024Popular items with books
Total Price:
$0
Book details
ISBN: 0387948966, 978-0387948966
Book publisher: Springer
Customers also bought these books
Computability And Complexity Theory Texts In Computer Science - 1st Edition
Steven Homer
ISBN: 0387950559, 978-0387950556
$0 $38.71Frequently Bought Together
Sterling Test Prep AP Chemistry Practice Questions - 8th Edition
Sterling Test Prep
ISBN: 1954725310, 978-1954725317
$0 $16.36
The Top 12 Mistakes People Struggling With Limiting Beliefs Make And How To Avoid Them So You Can Become The Best Version Of Yourself - 1st Edition
Stan Lewis
ISBN: B0CCZV2NB1, 979-8854007986
$0 $11.47
Business Analytics Data Analysis and Decision Making - 6th edition
S. Christian Albright
ISBN: 1305947541, 978-1337225274, 1337225274, 978-0357689066, 978-1305947542
$0 $324.95
Guide To Reliable Distributed Systems Building High Assurance Applications And Cloud Hosted Services Texts In Computer Science - 2012 Edition
Kenneth P Birman
ISBN: 1447124154, 978-1447124153
$0 $69.22
Programming And Meta Programming In Scheme Undergraduate Texts In Computer Science - 1st Edition
Jon Pearce
ISBN: 0387983201, 978-0387983202
$0 $94.05