Verified Software. Theories, Tools and Experiments: 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised . (Lecture Notes in Computer Science, 15525)

Name: Verified Software. Theories, Tools and Experiments: 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised . (Lecture Notes in Computer Science, 15525)
ISBN: 9783031866944

Language: English

Published by Springer, 2025

3031866940 / 9783031866944

Softcover
Used

See all details

Seller: Marlton Books, Bridgeton, NJ, U.S.A.Marlton Books

5-star seller

AbeBooks seller since July 1, 2025

View this seller's items

Softcover

Condition: Used - Fair

US$ 46.76

US$ 3.00 shipping

Ships within U.S.A.

Quantity: 1 available

Add to basket

Free 30-day returns

Save for laterCreate a Want for similar items

Item description from seller

Readable, but has significant damage / tears. Has a remainder mark. paperback Used - Acceptable 2025.

Seller Inventory # AB-017327

Contact seller about this item

Report this item

Title: Verified Software. Theories, Tools and Experiments: 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised . (Lecture Notes in Computer Science, 15525)
Publisher: Springer
Publication year: 2025
Condition: Acceptable
Binding: Soft cover
Language: English
ISBN 10: 3031866940
ISBN 13: 9783031866944
Item weight: 7.05 ounces

Marlton Books

Bridgeton, NJ, U.S.A.

5-star seller

AbeBooks seller since July 1, 2025

Shipping rates within U.S.A.

Item	5 to 14 business days	3 to 6 business days
First item	US$ 3.00	US$ 7.99

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.