Using event-b for critical device software systems | Perpustakaan Universitas Negeri Jakarta

Pencarian berdasarkan :

SEMUA Pengarang Subjek ISBN/ISSN Pencarian Spesifik

Pencarian terakhir:

{{tmpObj[k].text}}

No image available for this title

Penanda Bagikan

Text

Using event-b for critical device software systems

Singh, Neeraj Kumar - Nama Orang;

Tidak Tersedia Deskripsi

Ketersediaan

#

Perpustakaan Pusat E982

E982

Tersedia

Informasi Detail

Judul Seri: -
No. Panggil: E982
Penerbit: : .,
Deskripsi Fisik: -
Bahasa
ISBN/ISSN: 9781447152606
Klasifikasi: NONE
Tipe Isi: -
Tipe Media: -
Tipe Pembawa: -
Edisi: -
Subjek: -
Info Detail Spesifik: -
Pernyataan Tanggungjawab: Neeraj Kumar Singh

Versi lain/terkait

Tidak tersedia versi lain

Lampiran Berkas

Tidak Ada Data

Komentar

Anda harus masuk sebelum memberikan komentar