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: 5Th International Symposium, Isola 2012, Heraklion, Crete, Greece, October 15-ISBN13:9783642340314ISBN10:3642340318Author:Margaria, Tiziana (Editor), Steffen, Bernhard (Editor)Description: Binding:Paperback, PaperbackPublisher:SPRINGER NATUREPublication Date:2012-09-11Weight:1.1 lbsDimensions:0.8'' H x 9'' L x 6'' WNumber of Pages:361Language:English
Price: 59.58 USD
Location: USA
End Time: 2024-11-19T13:57:06.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 : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
Format: Trade Paperback
Language: English
Publisher: Springer Berlin / Heidelberg
Publication Year: 2012
Series: Theoretical Computer Science and General Issues Ser.
Type: Textbook
Item Weight: 20.5 Oz
Number of Pages: Xvi, 361 Pages
