Skip to content

FM 2012: Formal Methods: 18th International Symposium, Paris, France, August
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
Back to Top

More Copies for Sale

FM 2012: Formal Methods__18th International Symposium

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

Show Details

Description:
Berlin: Springer-Verlag, 2012. Paperback Octavo. Paperback. Very good. wraps 488 pp.
Item Price
SGD 41.45
SGD 8.88 shipping to USA
FM 2012: Formal Methods : 18th International Symposium, Paris, France, August 27-31, 2012....
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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
SGD 91.60
SGD 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....

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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
SGD 103.86
SGD 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
Fm 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012....
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
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
SGD 105.41
SGD 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
FM 2012
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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
SGD 192.89
SGD 5.44 shipping to USA

Show Details

Description:
Springer , pp. 506 . Papeback. New.
Item Price
SGD 192.89
SGD 5.44 shipping to USA