Formal Verification of Floating-Point Hardware Design: A Mathematical Approach

Koleksi

Katalog

Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
21.21.1293 - David M. Russinoff

Barcode

21.21.1293-1

Kondisi

Tersedia

Tanggal masuk

24 March 2021

Unit

Asal penerimaan

Beli

Pemasok

Logistik Telkom University

Harga pembelian

Jenis katalog

Buku - Elektronik (E-Book)

Lokasi

Tel-U Gedung Manterawu Lantai 5