Formal Verification Of Simulink/Stateflow Diagrams A Deductive Approach(1st Edition)
Authors:
Naijun Zhan ,Shuling Wang ,Hengjun Zhao
In Stock
Shipment time
Expected shipping within 2 DaysPopular items with books
Total Price:
$0
Solution Manual Includes
Price:
$9.99
Book details
ISBN: 3319836382, 978-3319836386
Book publisher: Springer
Frequently Bought Together
Small Business Management Launching & Growing Entrepreneurial Ventures - 17th edition
Justin Longenecker
ISBN: 9781285972565, 1133947751, 1285972562, 978-1133947752
$0 $14.48
Auditing Employee Benefit Plans - 1st Edition
Josie Hammond
ISBN: 1119763800, 978-1119763802
$0 $52.64
Using And Interpreting Statistics - 2nd Edition
Eric W. Corty
ISBN: 1429278609, 978-1429278607
$0 $146.00
Managerial Accounting for Managers - 4th edition
Eric Noreen
ISBN: 1259578542, 978-1259578540
$0 $14.92
Algebra And Trigonometry With Analytic Geometry - 1st Edition
Edward A Cameron
ISBN: 0030845041, 978-0030845048
$0 $124.61
Computing Platforms For Software Defined Radio - 1st Edition
Waqar Hussain
ISBN: 3319842137, 978-3319842134
$0 $129.99
Towards Ubiquitous Low Power Image Processing Platforms - 1st Edition
Magnus Jahre
ISBN: 3030535347, 978-3030535346
$0 $129.99