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:
Vendeur Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Vendeur AbeBooks depuis 3 mai 2002
Ancien(s) ou d'occasion -
Quantité disponible : 1 disponible(s)
Ajouter au panier