Todavía no tenemos datos de la biografía de Crossley . ¿Nos ayudarías a encontrarla?
Mándanos un mail a soporte@biblioeteca.com
Crossley
Libros de Crossley
Estos son los libros que hay en nuestra base de datos para Crossley
Chispeante libro del perrito formas editado por Fher
This monograph details several important advances in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches to developing programs from proofs in constructive logic with applications to industrial-scale, complex software engineering problems. One of the books central themes is a general, abstract framewor...
Identificate si deseas participar. ¿Todavía no tienes cuenta? Regístrate