Description: This book titled "Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 24-November 3, 2022, Proceedings, Part III" is a comprehensive guide for those interested in the subject area of computers. The author Bernhard Steffen has expertise in software development and engineering, hardware, networking, computer science, and intelligence (AI) & semantics. The book is published by Springer and is available in trade paperback format with a length of 9.3 inches and a width of 6.1 inches. It has a total of 474 pages, including xiii pages of proceedings. The book is written in English and has an ISBN-13 number of 9783031197581. This textbook is perfect for those who want to learn about the subject of formal methods, verification, and validation in the context of software engineering.
Price: 75 USD
Location: Mills River, North Carolina
End Time: 2024-11-01T21:13:35.000Z
Shipping Cost: 5.38 USD
Product Images
Item Specifics
All returns accepted: ReturnsNotAccepted
Book Title: Leveraging Applications of Formal Methods, Verification and Valid
ISBN-13: 9783031197581
Number of Pages: Xiii, 474 Pages
Language: English
Publication Name: Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 24-November 3, 2022, Proceedings, Part III
Publisher: Springer
Publication Year: 2022
Subject: Software Development & Engineering / General, Intelligence (Ai) & Semantics, Hardware / General, Networking / General, Computer Science
Type: Textbook
Item Weight: 26.1 Oz
Subject Area: Computers
Author: Bernhard Steffen
Item Length: 9.3 in
Series: Lecture Notes in Computer Science Ser.
Item Width: 6.1 in
Format: Trade Paperback
