Formal Methods: Foundations and Applications: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings

Koleksi

Katalog

Formal Methods: Foundations and Applications: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings
22.21.166 - Gustavo Carvalho, Volker Stolz

Barcode

22.21.166-1

Kondisi

Tersedia

Tanggal masuk

04 February 2022

Informasi Koleksi

Unit

Asal penerimaan

Sumbangan

Pemasok

Logistik Telkom University

Harga pembelian

Jenis katalog

Buku - Elektronik (E-Book)

Lokasi

Tel-U Gedung Manterawu Lantai 5

Kembali