Detail Cantuman
Advanced Search
There is no item/copy for this title yet
Computer Aided Verification26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings /
- Bagikan:
Tidak Tersedia Deskripsi
Ketersediaan
Tidak ada salinan data
Informasi Detil
| No. Panggil |
-
|
|---|---|
| Edisi |
-
|
| ISBN/ISSN |
9783319088679
|
| Subyek | |
| DDC |
5.1015113
|
| TYPE |
EBK
|
| Bahasa |
English
|
| Penerbit | : ., |
| Deskripsi Fisik |
XXXIV, 877 p. 205 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)