Description: About this Item The item is a book paperback or softback The Author Name is Giannakopoulou, Dimitra,Kroening, Daniel The Title is Verified Software: Theories, Tools and Experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Pap Condition New Other Comments Pages Count - 300. Binding type - Perfect. Content Language - English Category - COMPUTERS / Software Development & Engineering / General COMPUTERS / Programming / General COMPUTERS / Languages / General We Use Stock Images Because we have over 2 million items for sale we have to use stock images, this listing does not include the actual image of the item for sale. The purchase of this specific item is made with the understanding that the image shown in this listing is a stock image and not the actual item for sale. For example: some of our stock images include stickers, labels, price tags, hyper stickers, obi's, promotional messages, signatures and or writing which may not be available in the actual item. When possible we will add details of the items we are selling to help buyers know what is included in the item for sale. The details are provided automatically from our central master database and can sometimes be wrong. Books are released in many editions and variations, such as standard edition, re-issue, not for sale, promotional, special edition, limited edition, and many other editions and versions. The Book you receive could be any of these editions or variations. If you are looking for a specific edition or version please contact us to verify what we are selling. Gift IdeasThis is a great Christmas gift idea. Hours of ServiceWe have many warehouses, some of the warehouses process orders seven days a week, but the Administration Support Staff are located at a head office location, outside of the warehouses, and typically work only Monday to Friday. Location ID 555z iHaveit SKU ID 163626697
Price: 56.34 GBP
Location: GB
End Time: 2025-01-15T11:16:45.000Z
Shipping Cost: 18.12 GBP
Product Images
Item Specifics
Return postage will be paid by: Buyer
Returns Accepted: Returns Accepted
After receiving the item, your buyer should cancel the purchase within: 30 days
Return policy details:
Fiction/Non-Fiction: Non-Fiction
Genre/Subject: COMPUTERS / Software Development Engineering / General
Brand: NA
Weight: 0.43
Style: NA
Title: Verified Software Theories Tools and Experiments 6th Internat
Release Title: Verified Software Theories Tools and Experiments 6th Internat
Record Grading: New
Sleeve Grading: New
Platform: NA
Size: NA
Film/TV Title: Verified Software Theories Tools and Experiments 6th Interna
Colour: NA
Material: NA
Department: NA
Binding Type: Perfect
Item Length: 233.93
Main Stone: NA
Metal Purity: NA
Metal: NA
Connectivity: NA
Model: NA
Item Height: 235 mm
Item Width: 155 mm
Series: Programming and Software Engineering
Author: Daniel Kroening, Dimitra Giannakopoulou
Publication Name: Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
Format: Paperback
Language: English
Publisher: Springer International Publishing A&G
Subject: Computer Science
Publication Year: 2014
Type: Textbook
Item Weight: 4569 g
Number of Pages: 287 Pages
