Categoría
Top Descargas
Iniciar sesión
Registrarse
Subir
Búsqueda
Categoría
Top Descargas
Iniciar sesión
Registrarse
Búsqueda
Home
Categories
Code
Code
A program logic for resources
Functional Programming / Design / Theoretical Computer Science / Conception / Mathematical Sciences / Reasoning / Virtual Machine / Verification / Code / Levels of Abstraction / Proof / Operational Semantics / Hierarchy / Implementation / Type System / Object / Object-oriented languages / Functional / Resource / Proof Carrying Code / Completeness / Object Oriented / Termination / Prototype / SOUNDNESS / Reasoning / Virtual Machine / Verification / Code / Levels of Abstraction / Proof / Operational Semantics / Hierarchy / Implementation / Type System / Object / Object-oriented languages / Functional / Resource / Proof Carrying Code / Completeness / Object Oriented / Termination / Prototype / SOUNDNESS
A program logic for resources
Functional Programming / Design / Theoretical Computer Science / Conception / Mathematical Sciences / Reasoning / Virtual Machine / Verification / Code / Levels of Abstraction / Proof / Operational Semantics / Hierarchy / Implementation / Type System / Object / Object-oriented languages / Functional / Resource / Proof Carrying Code / Completeness / Object Oriented / Termination / Prototype / SOUNDNESS / Reasoning / Virtual Machine / Verification / Code / Levels of Abstraction / Proof / Operational Semantics / Hierarchy / Implementation / Type System / Object / Object-oriented languages / Functional / Resource / Proof Carrying Code / Completeness / Object Oriented / Termination / Prototype / SOUNDNESS
Aportes de Niklas Luhmann a la teoría de la complejidad
Communication / Complexity / Paradox / Code
Copyright © 2017 DATOSPDF Inc.