shop by
Category
items
0 

Formal Methods Applications and Technology : 11th International Workshop, on Formal Methods for Industrial Critical Systems, FMICS 2006 and 5th International Workshop, PDMC 2006 Bonn, Germany, A (Paperback)

Customer Reviews   Write a Review

Be the first to review this item and earn 25 Rakuten Super Points™

Product Overview

This book constitutes the thoroughly refereed joint post-proceedings of the two International Workshops on Formal Methods for Industrial Critical Systems, FMICS 2006, and on Parallel and Distributed Methods in Verification, PDMC 2006, held in Bonn, Germany in August 2006 in the course of the 17th International Conference on Concurrency Theory, CONCUR 2006.

Specifications

Publisher Springer-Verlag New York Inc
Mfg Part# 9783540709510
SKU 205510776
Format Paperback
ISBN10 3540709517
Release Date 8/13/2012
loading
Sold Out
Sorry, you missed the deal!
This product is currently not available.
ADVERTISEMENT
Promotions & Offers (1)
  •  custom promo
    5% Back* Sitewide with Promo Code Rewardme *See page for details
ADVERTISEMENT
ADVERTISEMENT