Description: About this Item The item is a book paperback or softback The Author Name is Hhnle, Reiner,Knoop, Jens,Margaria, Tiziana The Title is Leveraging Applications of Formal Methods, Verification, and Validation : International Workshops, SARS 2011 and MLSC 2011, held under the auspices of Condition New Other Comments Edition_description - 2012. Pages Count - 276. Binding type - Perfect. Content Language - English Category - COMPUTERS / Artificial Intelligence / General COMPUTERS / Data Science / Data Analytics COMPUTERS / Software Development & Engineering / 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 9000z iHaveit SKU ID 166298991
Price: 68.72 USD
Location: US
End Time: 2024-11-15T11:18:33.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Restocking Fee: No
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
Fiction/Non-Fiction: Non-Fiction
Genre/Subject: COMPUTERS / Artificial Intelligence / General
Brand: SPRINGER
Weight: 0.39
Style: NA
Title: Leveraging Applications of Formal Methods Verification and Vali
Release Title: Leveraging Applications of Formal Methods Verification and Vali
Record Grading: New
Sleeve Grading: New
Platform: NA
Size: NA
Film/TV Title: Leveraging Applications of Formal Methods Verification and Val
Colour: NA
Material: NA
Department: NA
Binding Type: Perfect
Item Height: 14.73
Main Stone: NA
Metal Purity: NA
Metal: NA
Connectivity: NA
Model: NA
Number of Pages: Xii, 261 Pages
Language: English
Publication Name: Leveraging Applications of Formal Methods, Verification, and Validation : International Workshops, SARS 2011 and MLSC 2011, Held under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
Publisher: Springer Berlin / Heidelberg
Publication Year: 2012
Subject: Software Development & Engineering / Quality Assurance & Testing, Programming / General, Intelligence (Ai) & Semantics, Probability & Statistics / General, Databases / Data Mining
Type: Textbook
Item Weight: 16 Oz
Item Length: 9.3 in
Subject Area: Mathematics, Computers
Author: Jens Knoop
Series: Communications in Computer and Information Science Ser.
Item Width: 6.1 in
Format: Trade Paperback
