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 (Lecture Notes in Computer Science / Programming and Software Engineering) Paperback - 2012 - 2012th Edition

by Giannakopoulou, Dimitra [Editor]; Mery, Dominique [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 (Lecture Notes in Computer Science / Programming and Software Engineering)
  • Author Giannakopoulou, Dimitra [Editor]; Mery, Dominique [Editor];
  • Binding Paperback
  • Edition number 2012th
  • Edition 2012
  • Language ENG
  • Publisher Springer
  • Date 2012-07
  • ISBN 9783642327582
  • Themes
    • Aspects (Academic): Science/Technology Aspects
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
NZ$51.14
NZ$10.96 shipping to USA

Show Details

Description:
Berlin: Springer-Verlag, 2012. Paperback Octavo. Paperback. Very good. wraps 488 pp.
Item Price
NZ$51.14
NZ$10.96 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
NZ$113.52
NZ$17.07 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
NZ$113.52
NZ$17.07 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
NZ$128.71
NZ$21.26 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
NZ$128.71
NZ$21.26 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
NZ$132.53
NZ$21.37 shipping to USA

Show Details

Description:
Springer, 2012. Paperback. New. 2012 edition. 504 pages. 9.20x6.10x0.80 inches.
Item Price
NZ$132.53
NZ$21.37 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
NZ$241.29
NZ$6.80 shipping to USA

Show Details

Description:
Springer , pp. 506 . Papeback. New.
Item Price
NZ$241.29
NZ$6.80 shipping to USA