{"product_id":"leveraging-applications-of-formal-methods-tiziana-margaria-9783031198489","title":"Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, Isola 2022, Rhodes, Gre","description":"\u003cp\u003eThis 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. \u003c\/p\u003e\u003cp\u003eThe 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.\u003cbr\u003e\u003c\/p\u003e\u003cp\u003e\u003cbr\u003e\u003c\/p\u003e\u003cp\u003e\u003cbr\u003e\u003c\/p\u003e\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Tiziana Margaria\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 3031198484\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9783031198489\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Springer\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 10\/20\/2022\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 598\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 1.87lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.21h x 6.14w x 1.24d","brand":"Tiziana Margaria","offers":[{"title":"Paperback","offer_id":44080408953087,"sku":"9783031198489","price":99.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_ac62b33f-e5eb-4e81-b931-101f298a049c.jpg?v=1685486622","url":"https:\/\/www.whiterainbookhouse.com\/products\/leveraging-applications-of-formal-methods-tiziana-margaria-9783031198489","provider":"WR Book House","version":"1.0","type":"link"}