Using Event-B for Critical Device Software Systems

Neeraj Kumar Singh

Informasi Dasar

34 kali
16.21.2267
005.1
Buku - Elektronik (E-Book)
Tel-U Gedung Manterawu Lantai 5 : Rak 2
Tel-U Purwokerto : Rak 1

Subjek

SOFTWARE ENGINEERING
SIMULATION AND MODELING

Katalog

Using Event-B for Critical Device Software Systems
978-1-4471-5260-6
 
English

Sirkulasi

Rp. 0
Rp. 0
Tidak

Pengarang

Neeraj Kumar Singh
Perorangan
 
 

Penerbit

Springer London
 
2013

Koleksi

1 Koleksi
1 Koleksi

Kompetensi

 

Download / Flippingbook

diunduh 39 kali
 

Ulasan

Belum ada ulasan yang diberikan
anda harus sign-in untuk memberikan ulasan ke katalog ini