Todavía no tenemos datos de la biografía de J. Mitchell. ¿Nos ayudarías a encontrarla?
Mándanos un mail a soporte@biblioeteca.com
J. Mitchell
Libros de J. Mitchell
Estos son los libros que hay en nuestra base de datos para J. Mitchell
This volume uses a series of typed lambda calculi to study the axiomatic, operational, and denotational semantics of sequential programming languages. Later chapters are devoted to progressively more sophisticated type systems.
Identificate si deseas participar. ¿Todavía no tienes cuenta? Regístrate
Baliza v16