Home
Search
Katalog & Koleksi
Katalog
Informasi
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
Standar Layanan Open Library
Cara Akses Koleksi Electronic Book Open Library
Layanan Document Delivery Service
Tentang Kami
Tahun Terbit
Certified Programs and Proofs
Georges Gonthier, Michael Norrish
Informasi Dasar
No. Katalog
16.21.2109
Klasifikasi
005.13
Jenis katalog
Buku - Elektronik (E-Book)
No. Rak
2
Abstraksi
Subjek
Subjek utama
PROGRAMMING LANGUAGE
Subjek tambahan
ARTIFICIAL INTELLIGENCE, COMPUTER SCIENCE
Katalog
Judul
Certified Programs and Proofs
ISBN
978-3-319-03545-1
Kolasi
Bahasa
English
Sirkulasi
Harga pinjam
Rp. 0
Biaya denda
Rp. 0
Sirkulasi
Tidak
Pengarang
Nama
Georges Gonthier, Michael Norrish
Jenis
Perorangan
Penyunting/
Pembimbing
Alih bahasa
Penerbit
Nama
Springer International Publishing
Kota
Tahun
2013
Koleksi
Total
1 Koleksi
Tersedia
1 Koleksi
Kompetensi
Tidak ada
Download / Flippingbook
Link file
E - Book (ebook.pdf)
diunduh 38 kali
Rekomendasi
Ulasan
Belum ada ulasan yang diberikan
anda harus sign-in untuk memberikan ulasan ke katalog ini
Kembali