1
/
of
1
Springer Nature Switzerland AG
Verified Software. Theories, Tools and Experiments: 17th International Conference, VSTTE 2025, Menlo Park, CA, USA, October 6, 2025, Revised Selected Papers
Verified Software. Theories, Tools and Experiments: 17th International Conference, VSTTE 2025, Menlo Park, CA, USA, October 6, 2025, Revised Selected Papers
💎 Earn 191 Points (£1.91) on this item.
Regular price
£38.22 GBP
Regular price
£44.99 GBP
Sale price
£38.22 GBP
Unit price
/
per
Taxes included.
Shipping calculated at checkout.
YOU SAVE £6.77
- Condition: Brand new
- UK Delivery times: Usually arrives within 2 - 3 working days
- UK Shipping: Fee starts at £2.39. Subject to product weight & dimension
Bulk ordering. Want 15 or more copies? Get a personalised quote and bigger discounts. Learn more about bulk orders.
Couldn't load pickup availability
- More about Verified Software. Theories, Tools and Experiments: 17th International Conference, VSTTE 2025, Menlo Park, CA, USA, October 6, 2025, Revised Selected Papers
This book constitutes the refereed proceedings of the 17th International Conference on Verified Software, VSTTE 2025, held in Menlo Park, USA, during October 6, 2025. The 4 full papers and 2 short papers presented in this proceedings were carefully selected and reviewed from 15 submissions. The book also contains extended abstracts of an invited talk and an invited tutorial. VSTTE focusses on critical research challenges in the spectrum of software verification.
- Publication date: 2 July 2026
- Page count: 101
- Dimensions: Height 233 mm; Width 156 mm; Thickness 10 mm
- Publisher: Springer Nature Switzerland AG
- Format: Paperback
- ISBN-13: 9783032273390
UK and International shipping information
UK and International shipping information
UK Delivery and returns information:
- Delivery within 2 - 3 days when ordering in the UK.
- Shipping fee for UK customers from £2.39. Fully tracked shipping service available.
- Returns policy: Return within 30 days of receipt for full refund.
International deliveries:
Shulph Ink now ships to Australia, Belgium, Canada, France, Germany, Ireland, Italy, India, Luxembourg Saudi Arabia, Singapore, Spain, Netherlands, New Zealand, United Arab Emirates, United States of America.
- Delivery times: within 5 - 10 days for international orders.
- Shipping fee: charges vary for overseas orders. Only tracked services are available for most international orders. Some countries have untracked shipping options.
- Customs charges: If ordering to addresses outside the United Kingdom, you may or may not incur additional customs and duties fees during local delivery.
