Ordina per:
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Per proseguire abilita JavaScript!
© Copyright 2010-2026 Fabrizio Fichera. Tutti i diritti riservati. P.I. 02554810180