NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings

Koleksi

Katalog

NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings
23.21.1482 - Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez

Barcode

23.21.1482-1

Kondisi

Tersedia

Tanggal masuk

13 October 2023

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