Catatan
Ketersediaan
| EB001160 | EB 005.1 GRA m | My Library | Tersedia |
Informasi Detil
| Judul Seri | - |
| No. Panggil | EB 005.1 GRA m |
| Penerbit | Springer Science Business Media : Berlin, German., 2004 |
| Deskripsi Fisik | 320 Hal |
| Bahasa | English |
| ISBN/ISSN | 3-540-24732-7 |
| Klasifikasi | 005.1 |
| Tipe Isi | - |
| Tipe Media | - |
| Tipe Pembawa | - |
| Edisi | - |
| Subyek | Model Checking Software |
| Info Detil Spesifik | - |
| Pernyataan Tanggungjawab | Susanne Graf, Laurent Mounier |
Versi lain/terkait
Tidak tersedia versi lain