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
![Certified Programs and Proofs (eBook, PDF)]( "Certified Programs and Proofs (eBook, PDF)")
Certified Programs and Proofs (eBook, PDF)40,95 €![Theorem Proving in Higher Order Logics (eBook, PDF)]( "Theorem Proving in Higher Order Logics (eBook, PDF)")
Theorem Proving in Higher Order Logics (eBook, PDF)40,95 €![Isabelle/HOL (eBook, PDF)]( "Isabelle/HOL (eBook, PDF)")
Isabelle/HOL (eBook, PDF)44,95 €![Certified Programs and Proofs (eBook, PDF)]( "Certified Programs and Proofs (eBook, PDF)")
Certified Programs and Proofs (eBook, PDF)40,95 €![Certified Programs and Proofs (eBook, PDF)]( "Certified Programs and Proofs (eBook, PDF)")
Certified Programs and Proofs (eBook, PDF)40,95 €![Theorem Proving in Higher Order Logics (eBook, PDF)]( "Theorem Proving in Higher Order Logics (eBook, PDF)")
Theorem Proving in Higher Order Logics (eBook, PDF)40,95 €![Logic, Rewriting, and Concurrency (eBook, PDF)]( "Logic, Rewriting, and Concurrency (eBook, PDF)")
Logic, Rewriting, and Concurrency (eBook, PDF)40,95 €
The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on type theory are addressed; in particular languages and computerised tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalisation of mathematics and mathematics education.
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.