Description: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles : 11th International Symposium, ISoLA 2022, Rhodes, Gr, ISBN 3031198484, ISBN-13 9783031198489, Like New Used, Free shipping in the US
Price: 113.6 USD
Location: Jessup, Maryland
End Time: 2024-11-15T11:27:14.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 14 Days
Refund will be given as: Money Back
Return policy details:
Book Title: Leveraging Applications of Formal Methods, Verification and Valid
Number of Pages: Xiii, 598 Pages
Publication Name: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 24-November 3, 2022, Proceedings, Part I
Language: English
Publisher: Springer International Publishing A&G
Subject: Systems Architecture / General, Software Development & Engineering / General, Computer Science
Publication Year: 2022
Type: Textbook
Item Weight: 32.7 Oz
Author: Bernhard Steffen
Subject Area: Computers
Item Length: 9.3 in
Series: Lecture Notes in Computer Science Ser.
Item Width: 6.1 in
Format: Trade Paperback