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.49 €

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.63 €

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

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

Book

31.39 €

Leggenda privata Michele Mari

Paperback

14.07 €

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

Paperback

46.18 €

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

Paperback

18.42 €

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

Paperback

8.09 €

Disturbi e traiettorie atipiche del neurosviluppo. Diagnosi e intervento

Paperback

46.58 €

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

Sheet

12.55 €

Bienheureuse Staritsa Matrona Sofia Book

Paperback

9.11 €

Forcenés Bordas

Paperback

12.75 €

SIRT FOOD IBON GARCIA DE MIGUEL

Paperback

18.02 €

Corpus iuris civilis fur das Deutsche Reich und Oesterreich Anonym

Paperback

32.10 €

Deux Discours-Programmes: La Patrie Francaise Jules Lemaitre

Paperback

14.57 €

Premonicions Emili Bayo

Paperback

12.75 €

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

Paperback

127.30 €

Mozart-Collection Baltisches Festival Orchester

Audio CD

8.80 €

traumatischen Neurosen Hermann Oppenheim

Paperback

25.61 €

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

Paperback

27.23 €

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.