This Book is Out of Stock!
English
Paperback
₹5140
(All inclusive*)
Delivery Options
*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
<p>The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods ISoLA 2024 which took place in Crete Greece in October 2024.&nbsp;</p><p>ISoLA 2024 provides a forum for developers users and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification analysis verification certification&nbsp;construction test and maintenance of systems from the point of view of their different application domains.</p>
Piracy-free
Assured Quality
Secure Transactions
*COD & Shipping Charges may apply on certain items.
Review final details at checkout.
₹5140
Out Of Stock
All inclusive*
Details
ISBN 13
9783031753893
Publication Date
-26-10-2024
Pages
-224
Weight
-324 grams
Dimensions
-155x235x13.51 mm
