Free delivery for orders over 69.99 euro.

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 69.99 €

DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro.

Engineering Trustworthy Software Systems

Jonathan P. Bowen

Zhiming Liu

Zili Zhang

Language

English

Book Paperback

Libristo code: 16013577

Publishers Springer International Publishing AG, April 2017

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

Libristo code: 16013577

122 b

50.81 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

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

Book

31.60 €

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

Paperback

8.12 €

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

Paperback

127.75 €

Unterleibsbruche Ernst Graser

Paperback

35.87 €

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

Sheet

12.59 €

NOCIONES JURIDICAS DE EMPRESA LOPEZ DIAZ

Book

40.14 €

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

Paperback

32.21 €

El hombre que pudo ser libre Javier Zuloaga

Paperback

24.79 €

Premonicions Emili Bayo

Paperback

12.80 €

Deux Discours-Programmes: La Patrie Francaise Jules Lemaitre

Paperback

14.42 €

Nouvelle Bibliotheque Des Voyages, Ou Choix Des Voyages Les Plus Interessans Tome 84 SANS AUTEUR

Paperback

19.40 €

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

Paperback

55.38 €

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

Paperback

18.18 €

Bienheureuse Staritsa Matrona Sofia Book

Paperback

8.83 €

Forcenés Bordas

Paperback

12.49 €

Corpus iuris civilis fur das Deutsche Reich und Oesterreich Anonym

Paperback

32.21 €

Mozart-Collection Baltisches Festival Orchester

Audio CD

8.83 €

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

Paperback

26.82 €

Angst und Macht Rainer Mausfeld

Paperback

13.71 €

traumatischen Neurosen Hermann Oppenheim

Paperback

25.70 €

SIRT FOOD IBON GARCIA DE MIGUEL

Paperback

18.18 €

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

Paperback

45.83 €

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.