Pencarian Koleksi
Detail Koleksi
| Cover | |||||
| Judul - Subyek | Computer Arithmetic and Formal Proofs -- | ||||
| Kelas | 004.0151 | ||||
| ISBN | 978-1-78548-112-3 | ||||
| Bahasa | Inggris | ||||
| Penulis | Boldo, Sylvie; Guillaume Melquiond | ||||
| Editor - Penerjemah | - | ||||
| Edisi - Cetakan | Ed.1 - | ||||
| Penerbit | Elsevier Inc. - Oxford - 2017 | ||||
| Seri | |||||
| Deskripsi Fisik | 306 hlm - Ilus, Bibl, Indeks - 23 cm | ||||
| Tipe | |||||
| Golongan Pustaka | Buku | ||||
| Nomor Barcode | 24IKIP31412.1 - C.1 - T 24IKIP31412.2 - C.2 - S |
||||
| Catatan Umum | |||||
| Resume | |||||
| Jumlah |
|
||||
| Koleksi sedang dipinjam - Tgl. Kembali |