Description:
Springer-Verlag New York Inc, 2010. Paperback. New. 500 pages. 9.00x6.00x0.75 inches.
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
More Copies for Sale
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
- Item Price
-
$78.26$12.93 shipping to USA
Show Details
Item Price
$78.26
$12.93
shipping to USA