Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

145 b

21 008 Ft

Low in stock at our supplier Shipping in 11-15 days

Up to 30 days for returns

Customers also purchased

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

Book

10 983 Ft

Bienheureuse Staritsa Matrona Sofia Book

Paperback

3 185 Ft

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

Paperback

22 007 Ft

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

Paperback

6 438 Ft

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

Paperback

2 952 Ft

Disturbi e traiettorie atipiche del neurosviluppo. Diagnosi e intervento

Paperback

16 308 Ft

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

Sheet

4 399 Ft

Forcenés Bordas

Paperback

4 472 Ft

SIRT FOOD IBON GARCIA DE MIGUEL

Paperback

6 311 Ft

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

Paperback

17 289 Ft

Corpus iuris civilis fur das Deutsche Reich und Oesterreich Anonym

Paperback

18 074 Ft

Deux Discours-Programmes: La Patrie Francaise Jules Lemaitre

Paperback

5 512 Ft

Premonicions Emili Bayo

Paperback

5 412 Ft

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

Paperback

45 607 Ft

Mozart-Collection Baltisches Festival Orchester

Audio CD

3 326 Ft

traumatischen Neurosen Hermann Oppenheim

Paperback

13 776 Ft

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

Paperback

10 244 Ft

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.