5
1
9783540709510
Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, German / Edition 1 available in Paperback
![Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, German / Edition 1](http://img.images-bn.com/static/redesign/srcs/images/grey-box.png?v11.9.4)
Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, German / Edition 1
- ISBN-10:
- 3540709517
- ISBN-13:
- 9783540709510
- Pub. Date:
- 03/28/2007
- Publisher:
- Springer Berlin Heidelberg
- ISBN-10:
- 3540709517
- ISBN-13:
- 9783540709510
- Pub. Date:
- 03/28/2007
- Publisher:
- Springer Berlin Heidelberg
![Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, German / Edition 1](http://img.images-bn.com/static/redesign/srcs/images/grey-box.png?v11.9.4)
Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, German / Edition 1
54.99
In Stock
Product Details
ISBN-13: | 9783540709510 |
---|---|
Publisher: | Springer Berlin Heidelberg |
Publication date: | 03/28/2007 |
Series: | Lecture Notes in Computer Science , #4346 |
Edition description: | 2007 |
Pages: | 366 |
Product dimensions: | 6.10(w) x 9.25(h) x (d) |
From the B&N Reads Blog