Envío gratis a partir de 69,99 euros.

«Comprobar estado del pedido»

Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis

Envío gratuito con Zásilkovna para compras superiores a 59.99 €

Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €

Contacto

Cómo comprar

Ayuda

Mi cuenta

▸ Vacío :-(

Envío gratis a partir de 69,99 euros.

Engineering Trustworthy Software Systems

Jonathan P. Bowen

Zhiming Liu

Zili Zhang

Idioma

Inglés

Libro Tapa blanda

Código Libristo: 16013577

Editores Springer International Publishing AG, abril 2017

This volume contains a record of some of the lectures and seminars delivered at the Second Internati... Descripción completa

Código Libristo: 16013577

136 b

55.49 €

Almacenamiento externo Envío en 5-8 días

Política de devolución de 30 días

Clientes que también han comprado

AULA AMIGOS INTERNACIONAL 2 – GUIA DIDÁCTICA J. A. Ayllón

Libro

30.09 €

Leggenda privata Michele Mari

Tapa blanda

14.89 €

Instructions Chrestiennes Sur Les Mysteres de Nostre Seigneur Jesus-Christ. Tome 4 SINGLIN-A

Tapa blanda

47.59 €

Cosmo più servizi. Divagazioni su artisti, diorami, cimiteri e vecchie zie rimaste signorine Antonio Riccardi

Tapa blanda

19.39 €

My Hero Academia 10 Moje hrdinská akademie Kóhei Horikoši

Tapa blanda

8.69 €

Disturbi e traiettorie atipiche del neurosviluppo. Diagnosi e intervento

Tapa blanda

48.79 €

Sedm pohádek Antonína Langweila Kateřina Bečková

Hoja

13.39 €

Bienheureuse Staritsa Matrona Sofia Libro

Tapa blanda

9.09 €

Forcenés Bordas

Tapa blanda

12.89 €

SIRT FOOD IBON GARCIA DE MIGUEL

Tapa blanda

17.29 €

Corpus iuris civilis fur das Deutsche Reich und Oesterreich Anonym

Tapa blanda

35.49 €

Deux Discours-Programmes: La Patrie Francaise Jules Lemaitre

Tapa blanda

15.09 €

Premonicions Emili Bayo

Tapa blanda

12.79 €

Jews and Christians in Medieval Europe: The Historiographical Legacy of Bernhard Blumenkranz Philippe Buc

Tapa blanda

130.89 €

Mozart-Collection Baltisches Festival Orchester

CD de audio

9.59 €

traumatischen Neurosen Hermann Oppenheim

Tapa blanda

28.19 €

Traite de Confiture Ou Le Nouveau Et Parfait Confiturier (Ed.1689) Sans Auteur

Tapa blanda

28.19 €

This volume contains a record of some of the lectures and seminars delivered at the Second International School on Engineering Trustworthy Software Systems (SETSS 2016), held in March/April 2016 at Southwest University in Chongqing, China. The six contributions included in this volume provide an overview of leading-edge research in methods and tools for use in computer system engineering. They have been distilled from six courses and two seminars on topics such as: modelling and verification in event-B; parallel programming today; runtime verification; Java in the safety-critical domain; semantics of reactive systems; parameterized unit testing; formal reasoning about infinite data values; and Alan Turing and his remarkable achievements. The material is useful for postgraduate students, researchers, academics, and industrial engineers, who are interested in the theory and practice of methods and tools for the design and programming of trustworthy software systems.