by
English
Hardback
₹9113
₹12443
26.76% OFF
(All inclusive*)
Delivery Options
Please enter pincode to check delivery time.
*COD & Shipping Charges may apply on certain items.
Review final details at checkout.
Looking to place a bulk order? SUBMIT DETAILS
Piracy-free
Assured Quality
Secure Transactions
About The Book
Description
Author(s)
<p>Modern software systems operate under an unprecedented degree of uncertainties making them hard to specify model test analyze and verify. Safety assurance of such systems requires efforts that unite different disciplines such as formal methods software science software engineering control theory machine learning.</p>
Piracy-free
Assured Quality
Secure Transactions
Delivery Options
Please enter pincode to check delivery time.
*COD & Shipping Charges may apply on certain items.
Review final details at checkout.
Details
ISBN 13
9780367554019
Publication Date
-13-05-2025
Pages
-348
Weight
-685 grams
Dimensions
-155.96x233.93x20.94 mm
