Pastāsti draugiem par šo preci:
Tests and Proofs: 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings - Lecture Notes in Computer Science Jasmin Christian Blanchette 2015 edition
Tests and Proofs: 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings - Lecture Notes in Computer Science
Jasmin Christian Blanchette
This book constitutes the refereed proceedings of the 9th International Conference on Tests and Proofs, TAP 2015, held in L` Aquila, Italy, in July 2015, as part of the STAF 2015 Federated Conferences. The 11 revised full papers and 1 short papers presented together with 3 invited talks were carefully reviewed and selected from 21 submissions.
209 pages, 57 black & white illustrations, biography
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2015. gada 1. jūlijs |
| ISBN13 | 9783319212142 |
| Izdevēji | Springer International Publishing AG |
| Lapas | 209 |
| Izmēri | 155 × 235 × 12 mm · 3,58 kg |
| Valoda | Franču |
| Redaktors | Blanchette, Jasmin Christian |
| Redaktors | Kosmatov, Nikolai |
Ziemassvētku dāvanas var atgriezt līdz 31. janvārim