Di-Acro

Christakis - Software Verification 12th International Conference V - S9000z

Description: About this Item The item is a book paperback or softback The Author Name is Christakis, Maria,Polikarpova, Nadia,Duggirala, Parasara Sridhar The Title is Software Verification : 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Condition New Other Comments Pages Count - 268. Binding type - Perfect. Content Language - English Category - COMPUTERS / Programming / General COMPUTERS / Software Development & Engineering / General COMPUTERS / Computer Science 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 166027517

Price: 75.7 USD

Location: US

End Time: 2024-12-15T09:53:21.000Z

Shipping Cost: 0 USD

Product Images

Christakis - Software Verification   12th International Conference V - S9000z

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 / Programming / General

Brand: SPRINGER

Weight: 0.38

Style: NA

Title: Software Verification 12th International Conference VSTTE 2020

Release Title: Software Verification 12th International Conference VSTTE 2020

Record Grading: New

Sleeve Grading: New

Platform: NA

Size: NA

Film/TV Title: Software Verification 12th International Conference VSTTE 202

Colour: NA

Material: NA

Department: NA

Binding Type: Perfect

Item Height: 14.22

Main Stone: NA

Metal Purity: NA

Metal: NA

Connectivity: NA

Model: NA

Number of Pages: Xxvi, 239 Pages

Publication Name: Software Verification : 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 19-21, 2020, Revised Selected Papers

Language: English

Publisher: Springer International Publishing A&G

Subject: Programming Languages / General, Software Development & Engineering / General, Computer Science

Publication Year: 2020

Type: Textbook

Item Weight: 16 Oz

Subject Area: Computers

Author: Nadia Polikarpova

Item Length: 9.3 in

Item Width: 6.1 in

Series: Lecture Notes in Computer Science Ser.

Format: Trade Paperback

Recommended

26" Dual Classical 1" Inch Threadless Springer Triple Tree Fork Disc Brake
26" Dual Classical 1" Inch Threadless Springer Triple Tree Fork Disc Brake

$269.99

View Details
HARLEY BLACK SPRINGER FRONT END +14" OVER STOCK LENGTH HARLEY & CUSTOM FRAMES
HARLEY BLACK SPRINGER FRONT END +14" OVER STOCK LENGTH HARLEY & CUSTOM FRAMES

$594.99

View Details
Vintage Schwinn Springer Fork  Balloon Tire Bike Cruiser Balloon 26"   40s 50s
Vintage Schwinn Springer Fork Balloon Tire Bike Cruiser Balloon 26" 40s 50s

$169.57

View Details
Springer Replica Bicycle Front Fork 20" Schwinn Old School Chrome Spring Cruiser
Springer Replica Bicycle Front Fork 20" Schwinn Old School Chrome Spring Cruiser

$89.88

View Details
Drag Specialties Springer Forks - Black - Extends +6" 0401-0119
Drag Specialties Springer Forks - Black - Extends +6" 0401-0119

$719.95

View Details
Lipper & Mann English Springer Spaniel Puppy Dog Figurines Vintage Japan Ceramic
Lipper & Mann English Springer Spaniel Puppy Dog Figurines Vintage Japan Ceramic

$15.50

View Details
Harley Girder Springer Hallcraft reconditioned 21" mini drum front forks end
Harley Girder Springer Hallcraft reconditioned 21" mini drum front forks end

$1550.00

View Details
Vintage Springer Fork 20 Inch Bratz Cruiser Lowrider Balloon Spring Painted
Vintage Springer Fork 20 Inch Bratz Cruiser Lowrider Balloon Spring Painted

$85.49

View Details
Vintage Springer Fork Cruiser
Vintage Springer Fork Cruiser

$120.00

View Details
1971 Custom Built Motorcycles Chopper
1971 Custom Built Motorcycles Chopper

$6750.00

View Details