Interactive Theorem Proving and Program Development (eBook)
☆☆☆☆☆
(0 reviews)
| ผู้ขาย | Product price | Delivery | รวม | ความพร้อมจำหน่าย | Updated | |
|---|---|---|---|---|---|---|
| VI VitalSource | 85,59 EUR | 29,00 EUR | 114,59 EUR | มีจำหน่าย | 2 วันที่แล้ว | View offer |
ราคาและความพร้อมจำหน่ายอาจมีการเปลี่ยนแปลง อัปเดตล่าสุด: 08.08.2026 03:38.
0,0
☆☆☆☆☆
0 reviews
5★
0%
4★
0%
3★
0%
2★
0%
1★
0%
Product reviews
No reviews yet — be the first!
by Yves Bertot; Pierre Castéran, PRINT ISBN: 9783540208549 E-TEXT ISBN: 9783662079645 Additional ISBNs: 366207964X, 3642058809, 9783662079645, 9783642058806