Logic synthesis and verification algorithms

Συντελεστής(ές):

Τύπος υλικού:

ΚείμενοΓλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Boston Kluwer Academic Publishers c1996Περιγραφή: xxxi,564p. figISBN:

Θέμα(τα):

Αντίτυπα
Τύπος τεκμηρίου	Τρέχουσα βιβλιοθήκη	Συλλογή	Ταξιθετικός αριθμός	Αριθμός αντιτύπου	Κατάσταση	Ημερομηνία λήξης	Ραβδοκώδικας
Book [21]	ΒΚΠ - Πατρα Αποθήκη 2.10	Non-fiction	005.131 HAC (Περιήγηση στο ράφι(Άνοιγμα παρακάτω))	1	Διαθέσιμο		025000284149

bibliography:pp.537-553

Κοινοποίηση