![Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, ... Part I (Lecture Notes in Computer Science)](https://d3525k1ryd2155.cloudfront.net/f/655/471/9783319471655.IN.0.m.jpg)
![Leveraging Applications of Formal Methods, Verification and Validation:](https://d3525k1ryd2155.cloudfront.net/f/655/471/9783319471655.IN.0.m.jpg)
Stock Photo: Cover May Be Different
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, ... Part I (Lecture Notes in Computer Science)
- New
- Condition
- New
- ISBN 10
- 3319471651
- ISBN 13
- 9783319471655
- Seller
-
Woodside, New York, United States
4 Copies Available from This Seller
(You can add more at checkout.)
Payment Methods Accepted
About This Item
Springer , pp. 941 . Papeback. New.
Reviews
(Log in or Create an Account first!)
Details
- Bookseller
- Cold Books
(US)
- Bookseller's Inventory #
- 6375057090
- Title
- Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, ... Part I (Lecture Notes in Computer Science)
- Format/Binding
- Papeback
- Book Condition
- New
- Quantity Available
- 4
- Binding
- Paperback
- ISBN 10
- 3319471651
- ISBN 13
- 9783319471655
- Publisher
- Springer
- Date Published
- pp. 941
Terms of Sale
Cold Books
30 day return guarantee, with full refund including shipping costs for up to 30 days after delivery if an item arrives misdescribed or damaged.
About the Seller
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"...