Description: 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. 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, construction, test, and maintenance of systems from the point of view of their different application domains.
Price: 144 AUD
Location: Hillsdale, NSW
End Time: 2024-11-30T12:56:22.000Z
Shipping Cost: 33.01 AUD
Product Images
Item Specifics
Return shipping will be paid by: Buyer
Returns Accepted: Returns Accepted
Item must be returned within: 60 Days
Return policy details:
EAN: 9783031751066
UPC: 9783031751066
ISBN: 9783031751066
MPN: N/A
Format: Paperback, 370 pages
Author: Tiziana Margaria (Edited by)
Book Title: Leveraging Applications of Formal Methods, Verific
Item Height: 15.5 cm
Item Weight: 0 kg
Item Width: 23.5 cm
Language: Eng
Publisher: Springer International Publishing AG
