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