Cover Image

Summary goes here

Saved in:
Bibliographic Details
Format: Book
Language:English
Subjects:
Integrated circuits
Artificial intelligence.
Computer-aided design.
Electronic Data Processing
Artificial Intelligence
Computer-Aided Design
Circuits intégrés à très grande échelle
Circuits intégrés
Intelligence artificielle.
Conception assistée par ordinateur.
artificial intelligence.
computer-aided designs (visual works)
computer-aided design (process)
TECHNOLOGY & ENGINEERING
COMPUTERS
Informatique.
Circuit intégré à très grande échelle.
Circuit intégré
Vérification formelle.
Essai technique.
Model-checking (Informatique)
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Summary goes here
Item Description:General Notes
Physical Description:1 online resource (xii, 412 pages) :illustrations
ISBN:9783540320302
354032030X
3540291059
9783540291053
1281391344
9781281391346