Hardware specification, verification and synthesis : mathematical aspects ; Mathematical Sciences Institute workshop, Cornell University, Ithaca, New York, USA, July 5 - 7, 1989 ; proceedings. M. Leeser ; G. Brown (ed.) / Lecture notes in computer science ; 408
Leeser, Miriam (Herausgeber)
Vendeur NEPO UG, Rüsselsheim am Main, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Vendeur AbeBooks depuis 15 novembre 2018
Ancien(s) ou d'occasion - Couverture souple
Quantité disponible : 1 disponible(s)
Ajouter au panier