Pastāsti draugiem par šo preci:
Computer Aided Verification: 15th International Conference, Cav 2003, Boulder, Co, Usa, July 8-12, 2003, Proceedings - Lecture Notes in Computer Science Jr Hunt
Computer Aided Verification: 15th International Conference, Cav 2003, Boulder, Co, Usa, July 8-12, 2003, Proceedings - Lecture Notes in Computer Science
Jr Hunt
462 pages, biography
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2003. gada 27. jūnijs |
| ISBN13 | 9783540405245 |
| Izdevēji | Springer-Verlag Berlin and Heidelberg Gm |
| Lapas | 462 |
| Izmēri | 155 × 233 × 24 mm · 666 g |
| Valoda | Vācu |
| Redaktors | Hunt, Warren A. |
| Redaktors | Somenzi, Fabio |