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 -  - Grāmatas - Springer International Publishing AG - 9783319296128 - 2016. gada 29. janvāris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

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

Cena
€ 53,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 30. sept. - . gada 8. okt.
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

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.

Vairāk no tā paša izdevēja