Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings (Lecture Notes in Computer Science, 6959)

Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings (Lecture Notes in Computer Science, 6959) (ISBN-13: 9783642244308 and ISBN-10: 3642244300), written by authors Gwen Salaün, Bernhard Schätz, was published by Springer in 2011. With an overall rating of 3.9 stars, it's a notable title among other Business Technology (Microsoft Programming, Programming, Compilers, Programming Languages) books. You can easily purchase or rent Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings (Lecture Notes in Computer Science, 6959) (Paperback) from BooksRun, along with many other new and used Business Technology books and textbooks. And, if you're looking to sell your copy, our current buyback offer is $0.3.