Description:
Berlin: Springer-Verlag, 2012. Paperback Octavo. Paperback. Very good. wraps 488 pp.
Stock Photo: Cover May Be Different
FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings Paperback - 2012 - 2012th Edition
by Dimitra Giannakopoulou (Editor); Dominique Mery (Editor)
From the rear cover
This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods, FM 2012, held in Paris, France, in August 2012. The 28 revised full papers presented together with 7 tool papers and 3 invited talks were carefully reviewed and selected from numerous submissions. The papers cover several aspects of formal methods, including verification, synthesis, runtime monitoring, testing and controller synthesis, as well as novel applications of formal methods in interesting domains such as satellites, autonomous vehicles and disease dynamics.
Details
- Title FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
- Author Dimitra Giannakopoulou (Editor); Dominique Mery (Editor)
- Binding Paperback
- Edition number 2012th
- Edition 2012
- Pages 488
- Volumes 1
- Language ENG
- Publisher Springer
- Date 2012-07-21
- ISBN 9783642327582 / 3642327583
- Weight 1.55 lbs (0.70 kg)
- Dimensions 9.1 x 6.1 x 1.1 in (23.11 x 15.49 x 2.79 cm)
-
Themes
- Aspects (Academic): Science/Technology Aspects
- Dewey Decimal Code 004.015
More Copies for Sale
FM 2012: Formal Methods__18th International Symposium
by Giannakopoulou, Dimitra, ed
- Used
- very good
- Paperback
- Condition
- Used - Very good
- Edition
- Paperback Octavo
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783642327582 / 3642327583
- Quantity Available
- 1
- Seller
-
Paris, France
- Item Price
-
SGD 41.45SGD 8.88 shipping to USA
Show Details
Item Price
SGD 41.45
SGD 8.88
shipping to USA
Stock Photo: Cover May Be Different
FM 2012: Formal Methods : 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
by Dimitra Giannakopoulou
- New
- Condition
- New
- ISBN 10 / ISBN 13
- 9783642327582 / 3642327583
- Quantity Available
- 586
- Seller
-
Uxbridge, Greater London, United Kingdom
- Item Price
-
SGD 91.60SGD 13.78 shipping to USA
Show Details
Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The FM 2012: Formal Methods : 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings.
Item Price
SGD 91.60
SGD 13.78
shipping to USA
FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
by Dimitra Giannakopoulou
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783642327582 / 3642327583
- Quantity Available
- 10
- Seller
-
Southport, Merseyside, United Kingdom
- Item Price
-
SGD 103.86SGD 17.15 shipping to USA
Show Details
Description:
Paperback / softback. New. The papers cover several aspects of formal methods, including verification, synthesis, runtime monitoring, testing and controller synthesis, as well as novel applications of formal methods in interesting domains such as satellites, autonomous vehicles and disease dynamics.
Item Price
SGD 103.86
SGD 17.15
shipping to USA
Stock Photo: Cover May Be Different
Fm 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
by Giannakopoulou, Dimitra (Editor) / Mery, Dominique (Editor)
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783642327582 / 3642327583
- Quantity Available
- 2
- Seller
-
Exeter, Devon, United Kingdom
- Item Price
-
SGD 105.41SGD 17.24 shipping to USA
Show Details
Description:
Springer, 2012. Paperback. New. 2012 edition. 504 pages. 9.20x6.10x0.80 inches.
Item Price
SGD 105.41
SGD 17.24
shipping to USA
Stock Photo: Cover May Be Different
FM 2012
- New
- Condition
- New
- ISBN 10 / ISBN 13
- 9783642327582 / 3642327583
- Quantity Available
- 4
- Seller
-
Woodside, New York, United States
- Item Price
-
SGD 192.89SGD 5.44 shipping to USA
Show Details
Description:
Springer , pp. 506 . Papeback. New.
Item Price
SGD 192.89
SGD 5.44
shipping to USA