Description: This book is a valuable resource for those interested in the subject area of computers, specifically in systems architecture, software development and engineering, information theory, expert systems, intelligence (Ai) & semantics, and information technology. The publication name is Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 24-November 3, 2022, Proceedings, Part IV. The author is Bernhard Steffen and the book is published by Springer. The book is a trade paperback with a length of 9.3 inches, width of 6.1 inches, and weighs 23.6 ounces. It has a total of 424 pages, including xiii pages of proceedings. The book is written in English and has an ISBN-13 number of 9783031197611. This book is a great addition to any collection and is perfect for those who want to learn more about the subject areas listed above.
Price: 39 USD
Location: Chula Vista, California
End Time: 2025-01-16T03:25:19.000Z
Shipping Cost: N/A USD
Product Images
Item Specifics
Restocking Fee: No
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 30 Days
Refund will be given as: Money Back
Book Title: Leveraging Applications of Formal Methods, Verification and Valid
ISBN-13: 9783031197611
Personalized: No
Number of Pages: Xiii, 424 Pages
Publication Name: Leveraging Applications of Formal Methods, Verification and Validation. Practice : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 24-November 3, 2022, Proceedings, Part IV
Language: English
Publisher: Springer
Publication Year: 2022
Subject: Systems Architecture / General, Software Development & Engineering / General, Information Theory, Expert Systems, Intelligence (Ai) & Semantics, Information Technology
Item Weight: 23.6 Oz
Type: Textbook
Item Length: 9.3 in
Subject Area: Computers
Author: Bernhard Steffen
Series: Lecture Notes in Computer Science Ser.
Item Width: 6.1 in
Format: Trade Paperback