Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Correio MRW 3.99 € Ponto DPD 3.99 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Engineering Trustworthy Software Systems

Jonathan P. Bowen

Zhiming Liu

Zili Zhang

Língua

Inglês

Livro Capa mole

Código Libristo: 16013577

Editoras Springer International Publishing AG, abril 2017

This volume contains a record of some of the lectures and seminars delivered at the Second Internati... Descrição completa

Código Libristo: 16013577

109 b

44.96 €

Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

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

Livro

25.31 €

Leggenda privata Michele Mari

Capa mole

11.33 €

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

Capa mole

40.10 €

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

Capa mole

14.68 €

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

Capa mole

7.08 €

Disturbi e traiettorie atipiche del neurosviluppo. Diagnosi e intervento

Capa mole

38.68 €

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

Folha

11.43 €

Bienheureuse Staritsa Matrona Sofia Livro

Capa mole

7.48 €

Forcenés Bordas

Capa mole

10.62 €

SIRT FOOD IBON GARCIA DE MIGUEL

Capa mole

14.57 €

Corpus iuris civilis fur das Deutsche Reich und Oesterreich Anonym

Capa mole

28.35 €

Deux Discours-Programmes: La Patrie Francaise Jules Lemaitre

Capa mole

12.45 €

Premonicions Emili Bayo

Capa mole

11.33 €

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

Capa mole

111.30 €

Mozart-Collection Baltisches Festival Orchester

CD de áudio

7.99 €

traumatischen Neurosen Hermann Oppenheim

Capa mole

22.58 €

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

Capa mole

23.49 €

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.