Specifying message passing & time critical systems with temporal logic
Ron KOYMANS
Informasi Umum
Kode
0002922
Klasifikasi
005.131 - Matlab
Jenis
Buku - Circulation (Dapat Dipinjam)
Subjek
Matlab
No. Rak
Dilihat
148 kali
Informasi Lainnya
Koleksi & Sirkulasi
Tersedia 2 dari total 2 Koleksi
Anda harus log in untuk mengakses flippingbook
Pengarang
| Nama | Ron KOYMANS |
| Jenis | Perorangan |
| Penyunting | |
| Penerjemah |
Penerbit
| Nama | springer-verlag |
| Kota | New york |
| Tahun | 1992 |
Sirkulasi
| Harga sewa | IDR 0,00 |
| Denda harian | IDR 1.000,00 |
| Jenis | Sirkulasi |
