Home
Search
Katalog & Koleksi
Katalog
Informasi
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
Cara Akses Scopus
Tentang Kami
Tahun Terbit
Model checking
Edmund M & Oma G CLARKE
Informasi Dasar
Dilihat
19 kali
No. Katalog
0010971
Klasifikasi
004.24
Jenis katalog
Buku - Circulation (Dapat Dipinjam)
No. Rak
1
Abstraksi
Subjek
Subjek utama
Trafic - telecommunication
Subjek tambahan
Katalog
Judul
Model checking
ISBN
978-0-262-03270-4
Kolasi
xiv, 314 hal ; 23 cm
Bahasa
Sirkulasi
Harga pinjam
Rp. 0
Biaya denda
Rp. 1.000
Sirkulasi
Ya
Pengarang
Nama
Edmund M & Oma G CLARKE
Jenis
Perorangan
Penyunting/
Pembimbing
Alih bahasa
Penerbit
Nama
mit press
Kota
London
Tahun
1999
Koleksi
Total
2 Koleksi
Tersedia
0 Koleksi
Kompetensi
IF5113 - METODE FORMAL
Download / Flippingbook
Link file
Rekomendasi
Ulasan
Belum ada ulasan yang diberikan
anda harus sign-in untuk memberikan ulasan ke katalog ini
Kembali