Foundations of Computer Software: Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, Usa, Wa, Usa, March 31-april 2, Revised Selected Papers - Lecture Notes in Computer Science - Radu Calinescu - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783642212918 - 23 de mayo de 2011
En caso de que portada y título no coincidan, el título será el correcto

Radu Calinescu
Foundations of Computer Software: Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, Usa, Wa, Usa, March 31-april 2, Revised Selected Papers - Lecture Notes in Computer Science

Recibe un correo electrónico cuando el artículo esté disponible
¿Tienes un perfil? Iniciar sesión
Recibe notificaciones sobre nuevos lanzamientos de Radu Calinescu

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

Aún no valorado

Presents the refereed and revised post-workshop proceedings of the 16th Monterey Workshop, held in Redmond, WA, USA, in March/April 2010. This book features contributions showing how the foundations and development techniques of computer software could be adapted for industrial safety-critical and business-critical applications.

250 pages, 67 black & white illustrations, 35 colour illustrations, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 23 de mayo de 2011
ISBN13 9783642212918
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 250
Dimensiones 155 × 235 × 15 mm   ·   408 g
Lengua Francés  
Editor Calinescu, Radu C.
Editor Jackson, Ethan

Mas por Radu Calinescu

Mostrar todo

Más del mismo editor

Ver todo de Radu Calinescu ( Ej. Paperback Book )