Buch, Englisch, Band 9807, 502 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 7781 g
7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
Buch, Englisch, Band 9807, 502 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 7781 g
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-319-43143-7
Verlag: Springer International Publishing
The 27 full papers and 5 short papers presented were carefully reviewed and selected from 55 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories.
Zielgruppe
Research