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
NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings
Kristin Yvonne Rozier, Swarat Chaudhuri
Informasi Dasar
Dilihat
39 kali
No. Katalog
24.21.1009
Klasifikasi
004
Jenis katalog
Buku - Elektronik (E-Book)
No. Rak
1
Abstraksi
Subjek
Subjek utama
COMPUTER SCIENCE
Subjek tambahan
Katalog
Judul
NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings
ISBN
978-3-031-33170-1
Kolasi
490p.: pdf file.; 19 MB
Bahasa
English
Sirkulasi
Harga pinjam
Rp. 0
Biaya denda
Rp. 0
Sirkulasi
Tidak
Pengarang
Nama
Kristin Yvonne Rozier, Swarat Chaudhuri
Jenis
Perorangan
Penyunting/
Pembimbing
Alih bahasa
Penerbit
Nama
Springer Cham
Kota
New York
Tahun
2023
Koleksi
Total
1 Koleksi
Tersedia
1 Koleksi
Kompetensi
Tidak ada
Download / Flippingbook
Link file
E - Book (ebook.pdf)
belum pernah diunduh
Rekomendasi
Ulasan
Belum ada ulasan yang diberikan
anda harus sign-in untuk memberikan ulasan ke katalog ini
Kembali