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 - Bücher - Springer International Publishing AG - 9783319212142 - 1. Juli 2015
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

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

Preis
SFr. 43,49
exkl. MwSt.

Bestellware

Lieferdatum: ca. 6. - 13. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Zu deiner iMusic Wunschliste hinzufügen

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

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 1. Juli 2015
ISBN13 9783319212142
Verlag Springer International Publishing AG
Seitenanzahl 209
Maße 155 × 235 × 12 mm   ·   3,58 kg
Sprache Französisch  
Redakteur Blanchette, Jasmin Christian
Redakteur Kosmatov, Nikolai