Skip to content

Leveraging Applications of Formal Methods, Verification and Validation:
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
Back to Top

More Copies for Sale

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques :...

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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$120.75
$10.27 shipping to USA

Show Details

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.
Item Price
$120.75
$10.27 shipping to USA
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques;...
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
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
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:...
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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
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