Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II

Koleksi

Katalog

Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II
24.21.909 - Andre Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi

Barcode

24.21.909-1

Kondisi

Tersedia

Tanggal masuk

31 October 2024

Informasi Koleksi

Unit

Asal penerimaan

Sumbangan

Pemasok

Springer

Harga pembelian

Jenis katalog

Buku - Elektronik (E-Book)

Lokasi

Tel-U Gedung Manterawu Lantai 5

Kembali