Name: foundations of computer software: modeling, development, and verification of adaptive systems: 16th monterey workshop 2010, reymond, wa, usa, march 31 (en Inglés)
SKU: 24696087
Price: 1115.50 MXN
Availability: InStock
Author: Calinescu, Radu ; Jackson, Ethan
ISBN: 9783642212918

portada foundations of computer software: modeling, development, and verification of adaptive systems: 16th monterey workshop 2010, reymond, wa, usa, march 31 (en Inglés)

foundations of computer software: modeling, development, and verification of adaptive systems: 16th monterey workshop 2010, reymond, wa, usa, march 31 (en Inglés)

Formato

Libro Físico

Ilustrado por

Radu Calinescu

Ethan Jackson

Editorial

Springer

Autor

Calinescu, Radu ; Jackson, Ethan

Año

2011

Idioma

Inglés

N° páginas

250

Encuadernación

Tapa Blanda

Dimensiones

23.1x15.2x1.5 cm

Peso

0.41 kg.

ISBN

3642212913

ISBN13

9783642212918

Categorías

Tecnología de la información: cuestiones generales
Medios de almacenamiento y dispositivos periféricos
Recuperación de información
Administración del sistema
Inteligencia artificial

foundations of computer software: modeling, development, and verification of adaptive systems: 16th monterey workshop 2010, reymond, wa, usa, march 31 (en Inglés)

Radu Calinescu (Ilustrado por) · Ethan Jackson (Ilustrado por) · Springer · Tapa Blanda

Libro Nuevo Importado

Envío: 22 a 28 días háb.

$ 2,028.18$ 1,115.50

-45%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan 100 unidades

$ 1,115.50

¡Envío Gratis! Llega entre el 15 Sep y el 25 Sep a CUAUHTÉMOC, Ciudad de México. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "foundations of computer software: modeling, development, and verification of adaptive systems: 16th monterey workshop 2010, reymond, wa, usa, march 31 (en Inglés)"

This book presents the thoroughly refereed and revised post-workshop proceedings of the 16th Monterey Workshop, held in Redmond, WA, USA, in March/April 2010. The theme of the workshop was Foundations of Computer Software, with a special focus on Modeling, Development, and Verification of Adaptive Systems. The 13 revised full papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book. The contributions show how the foundations and development techniques of computer software could be adapted even for industrial safety-critical and business-critical applications to improve dependability and robustness and to ensure information privacy and security.