Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings

Koleksi

Katalog

Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings
24.21.1473 - Marsha Chechik, Joost-Pieter Katoen, Martin Leucker

Barcode

24.21.1473-1

Kondisi

Sedang Diproses

Tanggal masuk

08 November 2024

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