Description: Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering by Tiziana Margaria, Bernhard Steffen 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. formal methods for distributed computing in future railway systems; FORMAT Paperback LANGUAGE English CONDITION Brand New Publisher 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. Table of Contents Programming - What is Next: The Role of Documentation.- Automated Software Re-Engineering.- DIME Days. Details ISBN3031197550 Short Title Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Series Lecture Notes in Computer Science Language English ISBN-10 3031197550 ISBN-13 9783031197550 Format Paperback Series Number 13702 Year 2022 DOI 10.1007/978-3-031-19756-7 Publisher Springer International Publishing AG Edition 1st Imprint Springer International Publishing AG Place of Publication Cham Country of Publication Switzerland Author Bernhard Steffen Pages 427 Publication Date 2022-10-20 Edited by Bernhard Steffen Illustrations 68 Illustrations, color; 72 Illustrations, black and white; XIII, 427 p. 140 illus., 68 illus. in color. UK Release Date 2022-10-20 Edition Description 1st ed. 2022 Subtitle 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II DEWEY 005.1 Audience Professional & Vocational We've got this At The Nile, if you're looking for it, we've got it. With fast shipping, low prices, friendly service and well over a million items - you're bound to find what you want, at a price you'll love! TheNile_Item_ID:138953633;
Price: 157.88 AUD
Location: Melbourne
End Time: 2024-11-30T02:21:20.000Z
Shipping Cost: 13.29 AUD
Product Images
Item Specifics
Restocking fee: No
Return shipping will be paid by: Buyer
Returns Accepted: Returns Accepted
Item must be returned within: 30 Days
Format: Paperback
Language: English
ISBN-13: 9783031197550
Author: Tiziana Margaria, Bernhard Steffen
Type: Does not apply
Book Title: Leveraging Applications of Formal Methods, Verification and Valid
