Mégsem tetszik a termék? Semmi gond! Nálunk 30 napon belül visszaküldheti
Ajándékutalvánnyal nem hibázhat. A megajándékozott az ajándékutalványért bármit választhat kínálatunkból.
30 nap a termék visszaküldésére
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.
Szia! Libroamiko vagyok, a könyvtanácsadód.
Miben segíthetek?