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 - Kirjat - Springer International Publishing AG - 9783319212142 - keskiviikko 1. heinäkuuta 2015
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Jasmin Christian Blanchette
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

Hinta
€ 50,99

Tilattu etävarastosta

Arvioitu toimitus ma - ti 5. - 13. tammi 2026
Joululahjoja voi vaihtaa 31.1. asti

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
tai

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

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä keskiviikko 1. heinäkuuta 2015
ISBN13 9783319212142
Tuottaja Springer International Publishing AG
Sivujen määrä 209
Mitta 155 × 235 × 12 mm   ·   3,58 kg
Kieli Ranska  
Toimittaja Blanchette, Jasmin Christian
Toimittaja Kosmatov, Nikolai

Katso kaikki joka sisältää Jasmin Christian Blanchette ( Esim. Paperback Book )