Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 5.99 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Engineering Trustworthy Software Systems

Jonathan P. Bowen

Zhiming Liu

Zili Zhang

Lingua

Inglese

Libro In brossura

Codice Libristo: 16013577

Casa editrice Springer International Publishing AG, aprile 2017

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

Codice Libristo: 16013577

129 b

52.69 €

Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

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

Libro

30.99 €

Leggenda privata Michele Mari

In brossura

14.69 €

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

In brossura

47.59 €

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

In brossura

19.09 €

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

In brossura

8.49 €

Disturbi e traiettorie atipiche del neurosviluppo. Diagnosi e intervento

In brossura

47.99 €

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

Foglio

13.09 €

Bienheureuse Staritsa Matrona Sofia Libro

In brossura

9.39 €

Forcenés Bordas

In brossura

13.19 €

SIRT FOOD IBON GARCIA DE MIGUEL

In brossura

17.79 €

Corpus iuris civilis fur das Deutsche Reich und Oesterreich Anonym

In brossura

33.59 €

Deux Discours-Programmes: La Patrie Francaise Jules Lemaitre

In brossura

15.09 €

Premonicions Emili Bayo

In brossura

15.29 €

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

In brossura

125.69 €

Mozart-Collection Baltisches Festival Orchester

CD audio

9.19 €

traumatischen Neurosen Hermann Oppenheim

In brossura

26.79 €

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

In brossura

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.