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
Formal Methods and Software Engineering
Lindsay Groves, Jing Sun
Informasi Dasar
No. Katalog
16.21.2387
Klasifikasi
005.1
Jenis katalog
Buku - Elektronik (E-Book)
No. Rak
2
Abstraksi
Subjek
Subjek utama
SOFTWARE ENGINEERING
Subjek tambahan
PROGRAMMING LANGUAGES, ALGORITHM ANALYSIS
Katalog
Judul
Formal Methods and Software Engineering
ISBN
978-3-642-41202-8
Kolasi
Bahasa
English
Sirkulasi
Harga pinjam
Rp. 0
Biaya denda
Rp. 0
Sirkulasi
Tidak
Pengarang
Nama
Lindsay Groves, Jing Sun
Jenis
Perorangan
Penyunting/
Pembimbing
Alih bahasa
Penerbit
Nama
Springer Berlin Heidelberg
Kota
Tahun
2013
Koleksi
Total
1 Koleksi
Tersedia
1 Koleksi
Kompetensi
CRI3E2 - METODE FORMAL
Download / Flippingbook
Link file
E - Book (ebook.pdf)
diunduh 54 kali
Rekomendasi
Ulasan
Belum ada ulasan yang diberikan
anda harus sign-in untuk memberikan ulasan ke katalog ini
Kembali