Formal Methods : 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

Koleksi

Katalog

Formal Methods : 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings
22.21.2448 - Marieke Huisman, Corina Pasareanu, Naijun Zhan

Barcode

22.21.2448-1

Kondisi

Tersedia

Tanggal masuk

21 December 2022

Informasi Koleksi

Unit

Asal penerimaan

Beli

Pemasok

Logistik Telkom University

Harga pembelian

Jenis katalog

Buku - Elektronik (E-Book)

Lokasi

Tel-U Gedung Manterawu Lantai 5

Kembali