Computer-aided verification : proceedings /

Computer-aided verification : proceedings /

में बचाया:
ग्रंथसूची विवरण
निगमित लेखक: CAV (Conference) New Brunswick, N.J.)
अन्य लेखक: Clarke, E. M., 1945-, Kurshan, R. P., 1943-
स्वरूप: सम्मेलन की कार्यवाही पुस्तक
भाषा:English
प्रकाशित: Berlin ; New York : Springer-Verlag, c1991.
श्रृंखला:Lecture notes in computer science ; 531.
विषय:
Digital integrated circuits > Design and construction > Data processing > Congresses.
Computer-aided design > Congresses.
Integrated circuits > Verification > Congresses.

CARM 1 Store

होल्डिंग्स विवरण से CARM 1 Store
बोधानक: A2:AM07E0 C05496
प्रति 1 उपलब्ध  होल्ड करें

समान संसाधन