This Book is Out of Stock!
English
Paperback
₹14393
(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>This volume LNCS constitutes the refereed proceedings of the 19th International Conference on Integrated Formal Methods IFM 2024 during 13-15 November 2024 held in Manchester UK.&nbsp;&nbsp;</p><p>The 19 full papers presented in this volume were carefully reviewed and selected from 58 submissions.&nbsp;The conference focuses on&nbsp;all aspects of the design of integrated techniques including language design verification and validation automated tool support and the use of such techniques in software engineering practice.</p>
Piracy-free
Assured Quality
Secure Transactions
*COD & Shipping Charges may apply on certain items.
Review final details at checkout.
₹14393
Out Of Stock
All inclusive*
Details
ISBN 13
9783031765537
Publication Date
-13-11-2024
Pages
-352
Weight
-500 grams
Dimensions
-155x235x20.08 mm
