Author: Bernardo, Marco: Title: 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].
Description: Berlin / Heidelberg, Springer 2010. 256 p. Softcover/Paperback Very good. Shrink wrapped. / Sehr guter Zustand. In Folie verschweisst. Free shipping within Germany. Shipping costs to EU-countries: 9.50 EUR, to non-EU-countries: 15.00 EUR.
Keywords: ISBN: 9783540343042
Price: EUR 15.00 = appr. US$ 16.30 Seller: Antiquariat Thomas Haker
- Book number: 826707
See more books from our catalog:
Informatik, Hardware, Software