Rendered at 18:30:58 02/01/25
Software Verification: 12th International Conference, VSTTE 2020, and 13th Inter
Shipping options
Offer policy
OBO - Seller accepts offers on this item.
Details
Return policy
Full refund available within 30 days
Purchase protection
Payment options
PayPal accepted
PayPal Credit accepted
Venmo accepted
PayPal, MasterCard, Visa, Discover, and American Express accepted
Maestro accepted
Amazon Pay accepted
Shipping options
Offer policy
OBO - Seller accepts offers on this item.
Details
Return policy
Full refund available within 30 days
Purchase protection
Payment options
PayPal accepted
PayPal Credit accepted
Venmo accepted
PayPal, MasterCard, Visa, Discover, and American Express accepted
Maestro accepted
Amazon Pay accepted
Item traits
| Category: | |
|---|---|
| Quantity Available: |
Only one in stock, order soon |
| Condition: |
Good |
| ISBN: |
9783030636173 |
| Format: |
Trade Paperback |
| Type: |
Textbook |
| Special Attributes: |
International Edition |
| Language: |
English |
| Publication Year: |
2020 |
| Book Title: |
Software Verification |
| ISBN-13: |
9783030636173 |
| Subject Area: |
Computers |
| Publication Name: | |
| Publisher: |
Springer International Publishing A&G |
| Item Length: |
9.3 in |
| Subject: | |
| Series: |
Lecture Notes in Computer Science Ser. |
| Author: |
Nadia Polikarpova |
| Item Weight: |
16 Oz |
| Item Width: |
6.1 in |
| Number of Pages: |
Xxvi, 239 Pages |
Listing details
| Seller policies: | |
|---|---|
| Posted for sale: |
January 21 |
| Item number: |
1714428318 |
Item description
Added to your wish list!
- Software Verification: 12th International Conference, VSTTE 2020, and 13th Inter
- 1 in stock
- Price negotiable
- Handling time 2 days. Estimated delivery: Thu, Feb 13th
- Returns/refunds accepted
Get an item reminder
We'll email you a link to your item now and follow up with a single reminder (if you'd like one). That's it! No spam, no hassle.
Already have an account?
Log in and add this item to your wish list.
