Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Pa.
![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, Co Paperback - 2016
by Tiziana Margaria (Editor); Bernhard Steffen (Editor)
Details
- Title Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, Isola 2016, Imperial, Co
- Author Tiziana Margaria (Editor); Bernhard Steffen (Editor)
- Binding Paperback
- Pages 974
- Volumes 1
- Language ENG
- Publisher Springer
- Date 2016-10-06
- Illustrated Yes
- Features Illustrated
- ISBN 9783319471655 / 3319471651
- Weight 3.03 lbs (1.37 kg)
- Dimensions 9.21 x 6.14 x 1.97 in (23.39 x 15.60 x 5.00 cm)
- Dewey Decimal Code 005.1
More Copies for Sale
![Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques :...](https://d3525k1ryd2155.cloudfront.net/h/509/707/1590707509.0.m.jpg)
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Pa
by Tiziana Margaria
- New
- Condition
- New
- ISBN 10 / ISBN 13
- 9783319471655 / 3319471651
- Quantity Available
- 704
- Seller
-
Uxbridge, Greater London, United Kingdom
- Item Price
-
$120.75$10.27 shipping to USA
Show Details
Item Price
$120.75
$10.27
shipping to USA
![Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques;...](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, Corfu, Greece, October 10–14, 2016, Proceedings
by Margaria, Tiziana (Editor)/ Steffen, Bernhard (Editor)
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783319471655 / 3319471651
- Quantity Available
- 2
- Seller
-
Exeter, Devon, United Kingdom
- Item Price
-
$156.82$12.85 shipping to USA
Show Details
Description:
Springer-Verlag New York Inc, 2016. Paperback. New. 1002 pages. 9.25x6.10x2.05 inches.
Item Price
$156.82
$12.85
shipping to USA
![Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques:...](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 / ISBN 13
- 9783319471655 / 3319471651
- Quantity Available
- 4
- Seller
-
Woodside, New York, United States
- Item Price
-
$150.97$3.99 shipping to USA
Show Details
Description:
Springer , pp. 941 . Papeback. New.
Item Price
$150.97
$3.99
shipping to USA