Pastāsti draugiem par šo preci:
Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings - Lecture Notes in Computer Science L D Zuck 2003 edition
Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings - Lecture Notes in Computer Science
L D Zuck
This volume contains the proceedings of the 4th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2003), held in New York city, January 9-11, 2003.
340 pages, biography
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2002. gada 13. decembris |
| ISBN13 | 9783540003489 |
| Izdevēji | Springer-Verlag Berlin and Heidelberg Gm |
| Lapas | 328 |
| Izmēri | 155 × 233 × 18 mm · 798 g |
| Valoda | Vācu |
| Redaktors | Attie, Paul D. |
| Redaktors | Cortesi, Agostino |
| Redaktors | Mukhopadhyay, Supratik |
| Redaktors | Zuck, Lenore D. |