Formal Analysis by Abstract Interpretation: Case Studies in Modern Protocols

Koleksi

Katalog

Formal Analysis by Abstract Interpretation: Case Studies in Modern Protocols
23.21.1209 - Benjamin Aziz

Barcode

23.21.1209-1

Kondisi

Tersedia

Tanggal masuk

11 October 2023

Unit

Asal penerimaan

Beli

Pemasok

Logistik Telkom University

Harga pembelian

Jenis katalog

Buku - Elektronik (E-Book)

Lokasi

Tel-U Gedung Manterawu Lantai 5