Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, Proceedings, Part I

Koleksi

Katalog

Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, Proceedings, Part I
23.21.583 - Dana Fisman, Grigore Rosu

Barcode

23.21.583-1

Kondisi

Tersedia

Tanggal masuk

30 March 2023

Informasi Koleksi

Unit

Asal penerimaan

Beli

Pemasok

Telkom University Open Library

Harga pembelian

Jenis katalog

Buku - Elektronik (E-Book)

Lokasi

Tel-U Gedung Manterawu Lantai 5

Kembali