Description: This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program specification paradigms; x-by-construction meets runtime verification; verification and validation of concurrent and distributed heterogeneous systems; programming - what is next: the role of documentation; automated software re-engineering; DIME day; rigorous engineering of collective adaptive systems; formal methods meet machine learning; digital twin engineering; digital thread in smart manufacturing; formal methods for distributed computing in future railway systems; industrial day.
Price: 160 AUD
Location: Hillsdale, NSW
End Time: 2024-11-18T13:33:27.000Z
Shipping Cost: 32.5 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: 9783031197550
UPC: 9783031197550
ISBN: 9783031197550
MPN: N/A
Format: Paperback, 427 pages, 2022 Edition
Author: Tiziana Margaria (Edited by)
Book Title: Leveraging Applications of Formal Methods, Verific
Item Height: 2.3 cm
Item Length: 23.4 cm
Item Weight: 0.67 kg
Item Width: 15.6 cm
Language: Eng
Publisher: Springer International Publishing AG
