Verified Software. Theories, Tools and Experiments: 17th International Conference, VSTTE 2025, Menlo Park, CA, USA, October 6, 2025, Revised Selected Papers (Lecture Notes in Computer Science, 16499)

Verified Software. Theories, Tools and Experiments: 17th International Conference, VSTTE 2025, Menlo Park, CA, USA, October 6, 2025, Revised Selected Papers (Lecture Notes in Computer Science, 16499)

Springer

Pages: 113, Paperback, Springer

Compare prices (1 shop)

Sort: Price: lowest first Price: highest first

shop	Price	Action
	44,99 GBP	Go to shop

Similar products

Software Visualization: International Seminar Dagstuhl Castle, Germany, May 20-25, 2001 Revised Lectures
From 39,99 EUR
Computer Vision – ECCV 2022: 17th European Conference, Tel Aviv, Israel, October 23–27, 2022, Proceedings, Part VI: 13666 (Lecture Notes in Computer Science, 13666)
From 88,94 EUR
Computer Vision – ECCV 2022: 17th European Conference, Tel Aviv, Israel, October 23–27, 2022, Proceedings, Part VIII: 13668 (Lecture Notes in Computer Science, 13668)
From 95,75 EUR
Engineering Software for Modern Challenges : First International Conference, ESMoC 2021, Johor, Malaysia, October 20-21, 2021, Revised Selected Papers
From 48,89 EUR
Agents and Artificial Intelligence: 17th International Conference, ICAART 2025, Porto, Portugal, February 23–25, 2025, Revised Selected Papers, Part I (Lecture Notes in Computer Science, 16516)
From 84,99 EUR
Software Engineering and Formal Methods. SEFM 2025 Collocated Workshops: ReacTS 2025 and CIFMA 2025, Toledo, Spain, November 11, 2025, Revised ... (Lecture Notes in Computer Science, 16422)
From 84,99 EUR