40,95 €
40,95 €
inkl. MwSt.
Sofort per Download lieferbar
20 °P sammeln
40,95 €
Als Download kaufen
40,95 €
inkl. MwSt.
Sofort per Download lieferbar
20 °P sammeln
Jetzt verschenken
Alle Infos zum eBook verschenken
40,95 €
inkl. MwSt.
Sofort per Download lieferbar
Alle Infos zum eBook verschenken
20 °P sammeln
Andere Kunden interessierten sich auch für
![Interactive Theorem Proving (eBook, PDF)]( "Interactive Theorem Proving (eBook, PDF)")
Interactive Theorem Proving (eBook, PDF)40,95 €![Interactive Theorem Proving (eBook, PDF)]( "Interactive Theorem Proving (eBook, PDF)")
Interactive Theorem Proving (eBook, PDF)40,95 €![Logic, Language, Information, and Computation (eBook, PDF)]( "Logic, Language, Information, and Computation (eBook, PDF)")
Logic, Language, Information, and Computation (eBook, PDF)32,95 €![Rules on the Web: From Theory to Applications (eBook, PDF)]( "Rules on the Web: From Theory to Applications (eBook, PDF)")
Rules on the Web: From Theory to Applications (eBook, PDF)40,95 €![Relational and Algebraic Methods in Computer Science (eBook, PDF)]( "Relational and Algebraic Methods in Computer Science (eBook, PDF)")
Relational and Algebraic Methods in Computer Science (eBook, PDF)40,95 €![Verification, Model Checking, and Abstract Interpretation (eBook, PDF)]( "Verification, Model Checking, and Abstract Interpretation (eBook, PDF)")
Verification, Model Checking, and Abstract Interpretation (eBook, PDF)40,95 €![Critical Systems: Formal Methods and Automated Verification (eBook, PDF)]( "Critical Systems: Formal Methods and Automated Verification (eBook, PDF)")
Critical Systems: Formal Methods and Automated Verification (eBook, PDF)40,95 €
This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016.
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.
Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.