Detail Cantuman
Advanced Search
There is no item/copy for this title yet
Automated Technology for Verification and Analysis11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings /
- Bagikan:
Tidak Tersedia Deskripsi
Ketersediaan
Tidak ada salinan data
Informasi Detil
| No. Panggil |
-
|
|---|---|
| Edisi |
-
|
| ISBN/ISSN |
9783319024448
|
| Subyek | |
| DDC |
5.1
|
| TYPE |
EBK
|
| Bahasa |
English
|
| Penerbit | : ., |
| Deskripsi Fisik |
XIV, 528 p. 115 illus.online resource.
|
| Info Detil Spesifik |
-
|
Literature Searching Service (LSS)
Hard copy atau foto copy dari buku ini dapat diberikan dengan syarat ketentuan berlaku, jika berminat, silahkan hubungi via telegram (Chat Services LSS)