BOOKS LISTS DIARY ACTIVITY REVIEWS STATS MEMBERS

Yükleniyor

Track books, build shelves, write reviews, make public lists, and follow readers whose taste you trust.

Explore

Browse books
Lists
Diary
Stats

Community

Reader activity
Public lists
Reviews
Members

Newsletter

Get weekly book recommendations.

© 2026 Cilt. All rights reserved.

Yükleniyor

Yazar

Sylvie Boldo

2 cilt bulundu.

Cilt sonuçları

Computer Arithmetic and Formal Proofs

Computer Arithmetic and Formal Proofs

Sylvie Boldo, Guillaume Melquiond · Elsevier

340 sayfa · 2017

Proof theory / Algorithms

Numerical Software Verification

Numerical Software Verification

Alessandro Abate, Sylvie Boldo · Springer

115 sayfa · 2017

Numerical analysis / Computer software, verification