Skip to content

FM 2012
Stock Photo: Cover May Be Different

FM 2012 Papeback - - 2012th Edition

by Dimitra Giannakopoulou (Editor); Dominique Mery (Editor)

  • New

Description

Springer , pp. 506 . Papeback. New.
New
NZ$235.76
NZ$6.64 Shipping to USA
Standard delivery: 9 to 14 days
More Shipping Options
Ships from Cold Books (New York, United States)

Details

  • Title FM 2012
  • Binding Papeback
  • Edition number 2012th
  • Edition 2012
  • Condition New
  • Pages 488
  • Volumes 1
  • Language ENG
  • Publisher Springer
  • Date pp. 506
  • Bookseller's Inventory # 658586747
  • 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

About Cold Books New York, United States

Biblio member since 2012
Seller rating: This seller has earned a 5 of 5 Stars rating from Biblio customers.

Terms of Sale: 30 day return guarantee, with full refund including shipping costs for up to 30 days after delivery if an item arrives misdescribed or damaged.

Browse books from Cold Books

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.