Description: Please refer to the section BELOW (and NOT ABOVE) this line for the product details - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Title:Leveraging Applications Of Formal Methods, Verification And Validation: Applications: 9Th International Symposium On Leveraging Applications Of FormalISBN13:9783030614669ISBN10:3030614662Author:Margaria, Tiziana (Editor), Steffen, Bernhard (Editor)Description: Binding:Paperback, PaperbackPublisher:SpringerPublication Date:2020-11-29Weight:1.55 lbsDimensions:Number of Pages:Language:English
Price: 59.58 USD
Location: USA
End Time: 2024-11-05T15:20:47.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: 30 Days
Refund will be given as: Money Back
Return policy details:
Book Title: Leveraging Applications Of Formal Methods, Verification And ...
Item Length: 9.3in
Item Width: 6.1in
Author: Bernhard Steffen
Publication Name: Leveraging Applications of Formal Methods, Verification and Validation: Applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III
Format: Trade Paperback
Language: English
Publisher: Springer International Publishing A&G
Publication Year: 2020
Series: Theoretical Computer Science and General Issues Ser.
Type: Textbook
Item Weight: 27.2 Oz
Number of Pages: Xv, 490 Pages
