Current trends in hardware verification and automated theorem proving

ग्रंथसूची विवरण
मुख्य लेखक: Current trends in
स्वरूप: Printed Book
भाषा:English
प्रकाशित: New York Springer-Verlag 1989
विषय:
hardware verification > Computer hardware

UL

होल्डिंग्स विवरण से UL
बोधानक: 621.3.049.77 BIR
प्रति लाइव स्थिति उपलब्ध नहीं है

समान संसाधन