Skip to content

Leveraging Applications of Formal Methods, Verification, and Validation: 4th
Stock Photo: Cover May Be Different

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010 Heraklion, Paperback - 2010 - 2010th Edition

by Tiziana Margaria (Editor); Bernhard Steffen (Editor)


Details

  • Title Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010 Heraklion,
  • Author Tiziana Margaria (Editor); Bernhard Steffen (Editor)
  • Binding Paperback
  • Edition number 2010th
  • Edition 2010
  • Pages 498
  • Volumes 1
  • Language ENG
  • Publisher Springer
  • Date 2010-10-19
  • Illustrated Yes
  • Features Bibliography, Illustrated, Index, Table of Contents
  • ISBN 9783642165603 / 3642165605
  • Weight 1.63 lbs (0.74 kg)
  • Dimensions 9.1 x 6.1 x 0.8 in (23.11 x 15.49 x 2.03 cm)
  • Dewey Decimal Code 005.1
Back to Top

More Copies for Sale

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International...
Stock Photo: Cover May Be Different

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, Isola 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings

by Margaria, Tiziana (Editor)

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783642165603 / 3642165605
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
$78.26
$12.93 shipping to USA

Show Details

Description:
Springer-Verlag New York Inc, 2010. Paperback. New. 500 pages. 9.00x6.00x0.75 inches.
Item Price
$78.26
$12.93 shipping to USA