Verified Software. Theories, Tools, and Experiments

Koleksi

Katalog

Verified Software. Theories, Tools, and Experiments
21.21.3340 - Supratik Chakraborty, Jorge A. Navas

Barcode

21.21.3340-1

Kondisi

Tersedia

Tanggal masuk

10 December 2021

Unit

Asal penerimaan

Beli

Pemasok

Logistik Telkom University

Harga pembelian

Jenis katalog

Buku - Elektronik (E-Book)

Lokasi

Tel-U Gedung Manterawu Lantai 5