Home
Search
Katalog & Koleksi
Katalog
Informasi
Akses Eikon Refinitiv
Tata Cara Approval Laporan Magang & KP
Tata Cara Upload Laporan Magang & KP
Fitur Mobile App: Layanan Book Delivery
Pemilihan Jurnal untuk Publikasi Ilmiah
Peraturan Tel-U Open Library
Sumber Daya Informasi Pendukung Kegiatan Penelitian
Surat Bebas Kewajiban Perpustakaan (SBKP)
Layanan Assistive Technology
Fasilitas Cek Similarity, iThenticate dan Turnitin
Tentang Kami
Tahun Terbit
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II
Koleksi
Katalog
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II
23.21.1958 - Tiziana Margaria, Bernhard Steffen
Barcode
23.21.1958-1
Kondisi
Tersedia
Tanggal masuk
17 October 2023
Informasi Koleksi
Unit
31
Asal penerimaan
Beli
Pemasok
Logistik Telkom University
Harga pembelian
Jenis katalog
Buku - Elektronik (E-Book)
Lokasi
Tel-U Gedung Manterawu Lantai 5
Kembali