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 (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
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
-
NZ$51.14NZ$10.96 shipping to USA
Show Details
Item Price
NZ$51.14
NZ$10.96
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
-
NZ$113.52NZ$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. 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
-
NZ$128.71NZ$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
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
-
NZ$132.53NZ$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
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
-
NZ$241.29NZ$6.80 shipping to USA
Show Details
Description:
Springer , pp. 506 . Papeback. New.
Item Price
NZ$241.29
NZ$6.80
shipping to USA