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:
Published by Berlin / Heidelberg, Springer, 2010
Language: English
Used
Condition: Sehr gut
From Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Germany
Seller rating 5 out of 5 stars
AbeBooks Seller since 3 May 2002
Association Member:
Used -
Price:
£ 12.97
Convert Currency
£ 6.72
shipping from Germany to United Kingdom
Destination, rates & speeds
Quantity: 1 available
Add to basket
