Detail Cantuman
Pencarian SpesifikBuku
Model checking software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012 Proceedings / editors: Alastair Donaldson, David Parker
Daftar Isi:
Informasi Detail
| Judul Seri |
-
|
|---|---|
| Kode Buku |
005.302 87 MOD
|
| No Reg |
00706/PB/14
|
| Penerbit | Heidelberg: Springer : ., 2012 |
| Deskripsi Fisik |
viii, 261 hlm. : il. ; 24 cm
|
| Bahasa | |
| ISBN/ISSN |
978-3-642-31758-3
|
| Edisi |
-
|
|---|---|
| Subjek | |
| Pernyataan Tanggungjawab |
-
|
Versi lain/terkait
Tidak tersedia versi lain