Pastāsti draugiem par šo preci:
Verified Software: Theories, Tools, and Experiments: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers - Lecture Notes in Computer Science 1st ed. 2016 edition
Verified Software: Theories, Tools, and Experiments: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers - Lecture Notes in Computer Science
223 pages, 41 colour illustrations, biography
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2016. gada 29. janvāris |
| ISBN13 | 9783319296128 |
| Izdevēji | Springer International Publishing AG |
| Lapas | 223 |
| Izmēri | 155 × 235 × 13 mm · 3,64 kg |
| Valoda | Vācu |
| Redaktors | Gurfinkel, Arie |
| Redaktors | Seshia, Sanjit A. |