Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : Advanced Lectures
Paperback Published on: 15/05/2006
Price: £44.99
wordery
wordery
Publisher information
- Publisher: Springer Berlin Heidelberg
- ISBN: 9783540343042
- Number of pages: 242
- Dimensions: 234 x 156 x 13 mm
- Weight: 800g
- Languages: English
