Chaves, L., Bessa, I., Cordeiro, L., Kroening, D., & Lima Filho, E. (2017). Verifying digital systems with MATLAB. Association for Computing Machinery.
Чикаго-гийн эшлэл (17 дахь хэвлэлт)Chaves, L., I. Bessa, L. Cordeiro, D. Kroening, ба E. Lima Filho. Verifying Digital Systems with MATLAB. Association for Computing Machinery, 2017.
MLA -ийн эшлэл (9 дэх хэвлэлт)Chaves, L., et al. Verifying Digital Systems with MATLAB. Association for Computing Machinery, 2017.
Анхааруулга: Эдгээр ишлэлүүд үргэлж 100% үнэн зөв биш байж магадгүй.