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 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €

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

122 b

50.64 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

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

Livro

28.25 €

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

Capa mole

8.09 €

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

Capa mole

127.23 €

Unterleibsbruche Ernst Graser

Capa mole

35.75 €

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

Folha

13.56 €

NOCIONES JURIDICAS DE EMPRESA LOPEZ DIAZ

Livro

35.95 €

Nanopartículas de plata con curcumina: Una estrategia eficaz para el tratamiento del cáncer Ashish Garg

Capa mole

30.28 €

El hombre que pudo ser libre Javier Zuloaga

Capa mole

22.18 €

Premonicions Emili Bayo

Capa mole

13.87 €

Deux Discours-Programmes: La Patrie Francaise Jules Lemaitre

Capa mole

14.38 €

Corpus iuris civilis fur das Deutsche Reich und Oesterreich Anonym

Capa mole

32.10 €

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

Capa mole

45.68 €

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

Capa mole

17.41 €

Leggenda privata Michele Mari

Capa mole

20.55 €

Bienheureuse Staritsa Matrona Sofia Livro

Capa mole

8.50 €

Forcenés Bordas

Capa mole

12.05 €

Mozart-Collection Baltisches Festival Orchester

CD de áudio

8.40 €

La rentabilidad de las acciones de capital del sector construcción Edwin Jhon Aquise Dueñas

Capa mole

55.20 €

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

Capa mole

26.73 €

Angst und Macht Rainer Mausfeld

Capa mole

13.56 €

traumatischen Neurosen Hermann Oppenheim

Capa mole

25.62 €

SIRT FOOD IBON GARCIA DE MIGUEL

Capa mole

16.20 €

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.