Find Your Next Favorite Book
New books for fans of fiction
Our Money-Back Guarantee

Formal Methods for Industrial Critical Systems: 12th International Workshop, Fmics 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers

by ,

The FMICS 2007 workshopwas a?liated with the Computer-Aided Veri?cation (CAV) conference and held at the Park-Inn Hotel Alexanderplatz in Berlin, ... Show synopsis

Find your copy

Buy it from  $66.48
Buy new from  $66.48

Change currency

Reviews of Formal Methods for Industrial Critical Systems: 12th International Workshop, Fmics 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers

Write this item's first Alibris review Review it now

Discussions about Formal Methods for Industrial Critical Systems: 12th International Workshop, Fmics 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers

Start a new discussion
  1. What's on your mind? Review post guidelines

Join Today!

Share your ideas with other community members

Create account

Already a member?

Log in now

Subjects related to Formal Methods for Industrial Critical Systems: 12th International Workshop, Fmics 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers

Get $300 in coupons and other goodies. Sign up for newsletter No, thank you.

You're signed up (and we you). Watch for our Welcome e-mail and your first coupon. Thanks!