Program Verification(1st Edition)
Authors:
Nissim Francez
In Stock: 1 Left
Shipment time
Expected shipping within 2 - 3 DaysPopular items with books
Total Price:
$246.4
Solution Manual Includes
Price:
$9.99
Book details
ISBN: 0201416085, 978-0201416084
Book publisher: Addison Wesley
Book Price $246.4 : This Comprehensive Textbook On Program Verification Aims To Give A Clear, Up-to-date Approach To Building Proveably Correct Programs, Emphasising The Role Of Verification In Software Development. Features Rigorous Approach, Assuming No Knowledge Of Logic And Discrete Maths Covers Modern Topics Like Concurrency And Fairness Includes Many Exercises As An Aid To Understanding, Plus Solutions To Selected Exercises Within The Book
Popular Among Students (13)
Introduction To Python For Civil Engineers A Beginners Guide - 1st Edition
Amir Hossein Roodpeyma
ISBN: 8857288788, 979-8857288788
$0 $9.50
Digital Design From Zero To One - 1st Edition
Jerry D Daniels
ISBN: 0471124478, 978-0471124474
$0 $13.70
Program Verification Fundamental Issues In Computer Science - 1st Edition
Timothy T R Colburn
ISBN: 9401047898, 978-9401047890
$179.9 $257.00
Program Verification Fundamental Issues In Computer Science - 1st Edition
Timothy T R Colburn
ISBN: 0792319656, 978-0792319658
$0 $66.98
Theory Of Program Structures Schemes Semantics Verification Lecture Notes In Computer Science 36 - 1st Edition
Greibach
ISBN: 3540074155, 9783540074151
$0 $5.47
Tax Audit Guide Verification Program - 1st Edition
Fatima Zohra Drissi
ISBN: 620735947X, 978-6207359479
$0 $63.85
Experimental Program For The Development Of Improved Helicopter Structural Crashworthiness Analytical And Design Techniques Volume I Computerized Unsymmetrical Mathematical Simulation And Experimental Verification For Helicopter Crashworthiness In Which - 1st Edition
Gilbert Wittlin
ISBN: B00B65S3Q6
$118.3 $169.00
Phr/Sphr Professional In Human Resources Certification Bundle - 1st Edition
Dory Willer
ISBN: 0071834737, 978-0071834735
$568.02 $811.45
Object Oriented Programming Using C++ And Java - 1st Edition
Ramesh Vasappanavara
ISBN: 8131754553, 978-8131754559
$0 $24.03
Quickbooks 2019 All In One For Dummies - 1st Edition
Stephen L Nelson
ISBN: 1119523745, 978-1119523741
$0 $13.20
The Cyber Mirage Why Organisations Think Theyre Secure - 1st Edition
Sandeep Jaryal
ISBN: B0F2G9PXW7
$0 $23.99
The Meaning Of The Bible What The Jewish Scriptures And Christian Old Testament Can Teach Us - 1st Edition
Douglas A Knight
ISBN: 0062067737, 978-0062067739
$0 $29.74
Beginning IOS 5 Games Development Using The IOS SDK For IPad IPhone And IPod Touch - 1st Edition
Lucas Jordan
ISBN: 1430237104, 978-1430237105
$0 $34.56Recommended For You (9)
Pip And Bunny The Cheeky Ostrich - 1st Edition
Maureen Glynn
ISBN: 0367191083, 978-0367191085
$0 $27.83
Magnetic Resonance Imaging Of Central Nervous System Diseases Functional Anatomy A Imaging Neurological Symptoms A Pathology - 1st Edition
Werner J Huk
ISBN: 3540176411, 978-3540176411
$155.67 $222.38
Rigorous Software Development An Introduction To Program Verification - 1st Edition
Josa C Bacelar Almeida
ISBN: 1447175573, 978-1447175575
$79.79 $113.99
Rigorous Software Development An Introduction To Program Verification - 2011 Edition
Jose Bacelar Almeida
ISBN: 0857290177, 978-0857290175
$0 $28.95
Digital Slr Photography All In One For Dummies - 3rd Edition
Robert Correll
ISBN: 1119291399, 978-1119291398
$0 $24.25
Advanced Photo Editing Turn Good Images Into Great Ones - 1st Edition
Diego Garcia
ISBN: 1791906427, 978-1791906429
$0 $13.95
Pro C# 2010 And The Net 4 Platform - 1st Edition
Andrew Troelsen
ISBN: 1430225491, 978-1430225492
$0 $3.95