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 - Grāmatas - Springer International Publishing AG - 9783319212142 - 2015. gada 1. jūlijs
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

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 2015 edition

Cena
€ 51,49

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

Paredzamā piegāde . gada 19. - 27. nov.
Ziemassvētku dāvanas var atgriezt līdz 31. janvārim
Saņemiet paziņojumus par jauniem Jasmin Christian Blanchette izdevumiem
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

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

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