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
Theories of Programming and Formal Methods
Zhiming Liu, Jim Woodcock, Huibiao Zhu
Informasi Dasar
No. Katalog
16.21.2361
Klasifikasi
005.1
Jenis katalog
Buku - Elektronik (E-Book)
No. Rak
2
Abstraksi
Subjek
Subjek utama
SOFTWARE ENGINEERING
Subjek tambahan
SIMULATION AND MODELING
Katalog
Judul
Theories of Programming and Formal Methods
ISBN
978-3-642-39698-4
Kolasi
Bahasa
English
Sirkulasi
Harga pinjam
Rp. 0
Biaya denda
Rp. 0
Sirkulasi
Tidak
Pengarang
Nama
Zhiming Liu, Jim Woodcock, Huibiao Zhu
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 48 kali
Rekomendasi
Ulasan
Belum ada ulasan yang diberikan
anda harus sign-in untuk memberikan ulasan ke katalog ini
Kembali