I will be using this book for:

Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected ... Notes in Computer Science Book 10712)

Software Engineering Formal Methods Computer Science Research

0.0 out of 5 stars (0 ratings)

View on Amazon Trade it in for cash!

ASIN B0789XSM26 Views 5 Publisher Springer Year 2017 Edition 1st ed. 2017 Format Kindle Edition Product Group Digital Ebook Purchas Pages 230 Created September 06, 2026 Updated September 11, 2026

Reviews

No reviews yet. Be the first to review this book!

I will be using this book for:

Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected ... Notes in Computer Science Book 10712)

Reviews

Write a Review

I will be using this book for: