Object oriented technology
Tipo de material:
Texto Estados Unidos de América : Springer, 2015Descripción: 209 páginasISBN: - 9783319204413
- 005.117 A316
Contenidos:
Typed objects: objects and classes - Unheritance - Subtyping -- Assertions: declarative Specifications - Object oriented assertions - Sample application -- Virtual platform: reflection - Virtual machine - Extending virtual platform -- Type sistems: formal type systems - Reflection - Type erasure -- Concurren models: concurrent threads - Messages as objects -- Object databases: query languages - Object databases -- Types and constraints: database type systems - Transactions
| Imagen de cubierta | Tipo de ítem | Biblioteca actual | Biblioteca de origen | Colección | Ubicación en estantería | Signatura topográfica | Materiales especificados | Info Vol | URL | Copia número | Estado | Notas | Fecha de vencimiento | Código de barras | Reserva de ítems | Prioridad de la cola de reserva de ejemplar | Reservas para cursos | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Libro
|
Biblioteca Rafael Escandón Hernández - UNAC - Medellín Sala principal de colecciones - Primer piso - Medellín | General | 005.117 A316 (Navegar estantería(Abre debajo)) | Ejemplar 1 | Disponible | 08320 |
Incluye índice
Incluye bibliografía
Typed objects: objects and classes - Unheritance - Subtyping -- Assertions: declarative Specifications - Object oriented assertions - Sample application -- Virtual platform: reflection - Virtual machine - Extending virtual platform -- Type sistems: formal type systems - Reflection - Type erasure -- Concurren models: concurrent threads - Messages as objects -- Object databases: query languages - Object databases -- Types and constraints: database type systems - Transactions
cataran