Hochtel,Gray D, & Somenzi,Fabio. (2006). Logic synthesis and verifications algorithms. Springer.
Түр санах ойд амжилттай хуулсан
Түр санах ойд хуулах амжилттгүй
Чикаго-гийн эшлэл (17 дахь хэвлэлт)
Hochtel,Gray D, ба Somenzi,Fabio. Logic Synthesis and Verifications Algorithms. Springer, 2006.
Түр санах ойд амжилттай хуулсан
Түр санах ойд хуулах амжилттгүй
MLA -ийн эшлэл (9 дэх хэвлэлт)
Hochtel,Gray D, ба Somenzi,Fabio. Logic Synthesis and Verifications Algorithms. Springer, 2006.
Түр санах ойд амжилттай хуулсан
Түр санах ойд хуулах амжилттгүй
Анхааруулга: Эдгээр ишлэлүүд үргэлж 100% үнэн зөв биш байж магадгүй.