Saltar al contenido

Liceo del Libro y Novela moderna y clásica

Dependable Software Engineering. Theories, Tools, and Applications

  • Jun Pang
  • Lijun Zhang

Sobre este libro

This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, held in Guangzhou, China, in November 2020. The 10 full and 1 short paper included in this volume were carefully reviewed and selected from 20 submissions. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering.

Cómo acceder a esta obra

Sigue descubriendo el libro y consulta las opciones para obtenerlo en formato digital.

Valoración

Popular

5.0

99 Valoraciones Totales


Regístrate o inicia sesión para votar.

Más libros de la temática Informática

Libro Excel y SQL de la mano

Excel y SQL de la mano

Las bases de datos están a la orden del día en la sociedad actual y, en concreto, en el mundo de la empresa: la contabilidad, las nóminas, las ventas, el almacén y sus movimientos, la visitas a la web y un sinfín de actividades se recogen en bases de datos. Es, pues, esencial emplear herramientas adecuadas para analizarlas y desenvolverse con éxito en el presente. En este libro encontrará los conceptos necesarios para interrelacionar uno de los programas sencillos con más posibilidades del mercado, la hoja de cálculo Excel, con otras hojas y otros libros, con otras bases de datos en...

Libro Systems Medicine

Systems Medicine

Why do we get certain diseases, whereas other diseases do not exist? In this book, Alon, one of the founders of systems biology, builds a foundation for systems medicine. Starting from basic laws, the book derives why physiological circuits are built the way they are. The circuits have fragilities that explain specific diseases and offer new strategies to treat them. By the end, the reader will be able to use simple and powerful mathematical models to describe physiological circuits. The book explores, in three parts, hormone circuits, immune circuits, and aging and age-related disease. It...

Libro MF0225_3 Gestión de Bases de Datos

MF0225_3 Gestión de Bases de Datos

La presente obra está dirigida a los estudiantes de los nuevos Certificados de Profesionalidad de la familia profesional Informática y Comunicaciones, en concreto al Módulo Formativo Gestión de Bases de Datos. El libro comienza introduciendo los conceptos iniciales sobre bases de datos relacionales para, a continuación, profundizar en las estructuras del modelo relacional, el modelo entidad-relación, el modelo orientado a objetos y el modelo distribuido. Posteriormente se profundiza en el lenguaje SQL a través de los lenguajes de definición de datos DDL, manipulación de datos DML y...

Libro Programación de aplicaciones para Iphone y Ipad

Programación de aplicaciones para Iphone y Ipad

El curso de programación de aplicaciones para iPhone y iPad está dirigido a aquellas personas interesadas en aprender a programar para dispositivos iOS utilizando las herramientas estándar de programación de Apple para implementar sus propias aplicaciones móviles en dichos sistemas. El curso va dirigido a personas que desean aprender a programar aplicaciones en el ámbito de iOS en lenguaje Objective-C utilizando XCode como entorno de programación. Unidades del curso: 1. Introducción a Objective-C. 2. Patrones de diseño. 3. Introducción a XCode4. 4. Gestión de memoria. 5. La clase...

Novedades Literarias

Últimas Búsquedas

Categorías Destacadas

Más Categorías

Opciones de Descarga