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: Engineering Principles: 9Th International Symposium On Leveraging ApplicationsISBN13:9783030614690ISBN10:3030614697Author:Margaria, Tiziana (Editor), Steffen, Bernhard (Editor)Description: Binding:Paperback, PaperbackPublisher:SpringerPublication Date:2020-12-02Weight:1.71 lbsDimensions:Number of Pages:Language:English
Price: 59.58 USD
Location: USA
End Time: 2024-12-05T15:10:20.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: Engineering Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part II
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: 29.9 Oz
Number of Pages: Xv, 544 Pages
