Subjects
Automatic theorem proving, Automatische bewijsvoering, CAD, Circuits intégrés, Circuits intégrés numériques, Computacao aplicada, Computer engineering, Computer-aided design, Conception assistée par ordinateur, Conception et construction, Congresses, Congrès, Data processing, Design and construction, Digital integrated circuits, Démonstration automatique, Entwurfsautomation, Formal methods (Computer science), Formale Methode, Informatique, Integrated circuits, Kongress, Micro-elektronica, Model Checking, ThéorèmesID Numbers
- OLID: OL239055A
Links outside Open Library
No links yet. Add one?
