Partial Order Methods For The Verification Of Concurrent Systems An Approach To The State Explosion Problem(1996th Edition)
Authors:
Patrice Godefroid
In Stock
Shipment time
Expected shipping within 2 DaysPopular items with books
Total Price:
$0
Solution Manual Includes
Price:
$9.99
Book details
ISBN: 3540607617, 978-3540607618
Book publisher: Springer
Frequently Bought Together
Valuation The Art and Science of Corporate Investment Decisions - 3rd edition
Sheridan Titman
ISBN: 133479528, 978-0133479522
$0 $166.65
Behavioral Theory Of The Firm 2nd Edition - 1st Edition
James G March Richard Michael Cyert
ISBN: B0086HWITA
$0 $79.99
Accounting for Governmental and Nonprofit Entities - 18th edition
Jacqueline L. Reck
ISBN: 1260190080, 1260190083, 978-1259917059
$0 $102.89
Principles of Auditing and Other Assurance Services - 19th edition
Ray Whittington
ISBN: 978-0077804770, 78025613, 77804775, 978-0078025617
$0 $19.05
Netters Concise Orthopaedic Anatomy - 1st Edition
Jon C Thompson Md
ISBN: 1416059873, 978-1416059875
$0 $30.00
Simulation Tools And Techniques 12th Eai International Conference Simutools 2020 Guiyang China August 28 29 2020 Proceedings Part Ii - 1st Edition
Houbing Song
ISBN: 3030727947, 978-3030727949
$0 $10.90
Reconfigurable Networks On Chip - 2012th Edition
Sao Jie Chen
ISBN: 1489999736, 978-1489999733
$0 $137.84