APA-ийн эшлэл(7 дахь хэвлэлт)

(2017). Computer arithmetic and formal proofs: Verifying floating-point algorithms with the Coq system / Sylvie Boldo, Guillaume Melquiond.

Чикаго-гийн эшлэл (17 дахь хэвлэлт)

Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System / Sylvie Boldo, Guillaume Melquiond. 2017.

MLA -ийн эшлэл (9 дэх хэвлэлт)

Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System / Sylvie Boldo, Guillaume Melquiond. 2017.

Анхааруулга: Эдгээр ишлэлүүд үргэлж 100% үнэн зөв биш байж магадгүй.