Stock Photo: Cover May Be Different
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques; 7th International Symposium, Isola 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings
by Margaria, Tiziana (Editor)/ Steffen, Bernhard (Editor)
- New
- Paperback
- Condition
- New
- ISBN 10
- 3319471651
- ISBN 13
- 9783319471655
- Seller
-
Exeter, Devon, United Kingdom
2 Copies Available from This Seller
(You can add more at checkout.)
Payment Methods Accepted
About This Item
Springer-Verlag New York Inc, 2016. Paperback. New. 1002 pages. 9.25x6.10x2.05 inches.
Reviews
(Log in or Create an Account first!)
Details
- Bookseller
- Revaluation Books (GB)
- Bookseller's Inventory #
- x-3319471651
- Title
- Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques; 7th International Symposium, Isola 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings
- Author
- Margaria, Tiziana (Editor)/ Steffen, Bernhard (Editor)
- Format/Binding
- Paperback
- Book Condition
- New
- Quantity Available
- 2
- ISBN 10
- 3319471651
- ISBN 13
- 9783319471655
- Publisher
- Springer-Verlag New York Inc
- Date Published
- 2016
Terms of Sale
Revaluation Books
30 day return guarantee, with full refund including original shipping costs for up to 30 days after delivery if an item arrives misdescribed or damaged.
About the Seller
Revaluation Books
Biblio member since 2020
Exeter, Devon
About Revaluation Books
General bookseller of both fiction and non-fiction.
Glossary
Some terminology that may be used in this description includes:
- New
- A new book is a book previously not circulated to a buyer. Although a new book is typically free of any faults or defects, "new"...