Formal Techniques for Distributed Systems: Joint 13th Ifip Wg 6.1 International Conference, Fmoods 2011, and 30th Ifip Wg 6.1 International Conference

by Juergen Dingel

The LNCS series reports state-of-the-art results in computer science research, development, education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the R &... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3642214606
• ISBN13: 9783642214608
• Release Date: May 2011
• Publisher: Springer
• Length: 349 Pages
• Weight: 1.20 lbs.
• Dimensions: 0.8" x 6.1" x 9.2"