Image of Using Event-B for Critical Device Software Systems
Penanda Bagikan

E-Book

Using Event-B for Critical Device Software Systems

Tidak Tersedia Deskripsi

Ketersediaan
#
Belum memasukkan lokasi Belum memasukkan lokasi
978-1-4471-5259-0
Tersedia
Informasi Detail
Judul Seri
-
No. Panggil
-
Penerbit
Springer London : Springer.,
Deskripsi Fisik
http://dx.doi.org/10.1007/978-1-4471-5260-6
Bahasa
English
ISBN/ISSN
978-1-4471-5260-6
Klasifikasi
CS
Edisi
-
Subjek

Info Detail Spesifik
-
Versi lain/terkait

Tidak tersedia versi lain

Lampiran Berkas
Tidak Ada Data
Komentar
Anda harus masuk sebelum memberikan komentar