Formal Methods for Hardware Verification. 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006. [Notes in Computer Science, Vol. 3965].
Bernardo, Marco:
Sold by Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Germany
Association Member:
AbeBooks Seller since May 3, 2002
Used
Condition: Used - Fine
Quantity: 1 available
Add to basket