Stock photo: cover may vary
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Fo Paperback - 2021
by Tiziana Margaria (Editor); Bernhard Steffen (Editor)
Add to wish list
Reader reviews for Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Fo
Write a review for this book
Important Terms and Guidelines
- Please focus on the book’s content and context. Also, add any personal comments as to how you enjoyed the book. Substantiate your likes and dislikes. You may make comparisons to other books.
- Reviews must be at least 140 characters in length.
- Please do not reveal critical plot elements.
- This is not a help line. Contact customer support if you need help.
Your review must not include:
- Obscenities, discriminatory language, or other insulting language not suitable for public domain
- Advertisements, “spam” content, or references to other products, offers or websites.
- Email addresses, URLs, phone numbers, physical addresses or other contact information.
- Overly critical comments about other reviews or reviewers
- Time-sensitive material (i.e. promotional tours, seminars, lectures, etc.)
- Availability, price, or alternative ordering/shipping information
From the publisher
Details
- Title Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Fo
- Author Tiziana Margaria (Editor); Bernhard Steffen (Editor)
- Binding Paperback
- Pages 265
- Volumes 1
- Language ENG
- Publisher Springer
- Publication date 2021-08-05
- Illustrated Yes
- Features Illustrated
- ISBN 9783030837228 / 303083722X
- Weight 0.87 lbs (0.39 kg)
- Dimensions 9.21 x 6.14 x 0.59 in (23.39 x 15.60 x 1.50 cm)
- Category Computers - Languages / Programming
More Copies for Sale
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783030837228 / 303083722x
- Quantity available
- 274
- Seller
- Item price
-
NZ$127.21NZ$18.83 Delivery to USA
Show details
Add to wish list
Item price
NZ$127.21
NZ$18.83
Delivery to USA
Stock photo: cover may vary
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV
by Tiziana Margaria
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783030837228 / 303083722x
- Quantity available
- 10
- Seller
- Item price
-
NZ$135.55NZ$23.45 Delivery to USA
Show details
Add to wish list
Item price
NZ$135.55
NZ$23.45
Delivery to USA
Stock photo: cover may vary
Leveraging Applications of Formal Methods, Verification and Validation - Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, Isola 2020, Rhodes, Greece, October 20-30, 2020, Proceedings
by Margaria, Tiziana (Editor)/ Steffen, Bernhard (Editor)
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783030837228 / 303083722X
- Quantity available
- 2
- Seller
- Item price
-
NZ$157.66NZ$35.36 Delivery to USA
Show details
Add to wish list
Item price
NZ$157.66
NZ$35.36
Delivery to USA
Stock photo: cover may vary
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends (Lecture Notes in Computer Science, 12479)
- New
- Condition
- New
- ISBN 10 / ISBN 13
- 9783030837228 / 303083722X
- Quantity available
- 4
- Seller
- Item price
-
NZ$169.41NZ$7.12 Delivery to USA
Show details
Add to wish list
Item price
NZ$169.41
NZ$7.12
Delivery to USA
