Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

Besplatna dostava Overseas kurirskom službom iznad 69.99 €

DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Engineering Trustworthy Software Systems

Jonathan P. Bowen

Zhiming Liu

Zili Zhang

Jezik

Engleski

Knjiga Meki uvez

Libristo kod: 16013577

Nakladnici Springer International Publishing AG, travanj 2017

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

Libristo kod: 16013577

122 b

50.63 €

Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

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

Knjiga

29.87 €

Leggenda privata Michele Mari

Meki uvez

13.36 €

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

Meki uvez

46.18 €

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

Meki uvez

17.51 €

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

Meki uvez

8.09 €

Disturbi e traiettorie atipiche del neurosviluppo. Diagnosi e intervento

Meki uvez

44.66 €

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

List

11.84 €

Bienheureuse Staritsa Matrona Sofia Knjiga

Meki uvez

8.70 €

Forcenés Bordas

Meki uvez

12.24 €

SIRT FOOD IBON GARCIA DE MIGUEL

Meki uvez

17.21 €

Corpus iuris civilis fur das Deutsche Reich und Oesterreich Anonym

Meki uvez

32.10 €

Deux Discours-Programmes: La Patrie Francaise Jules Lemaitre

Meki uvez

14.57 €

Premonicions Emili Bayo

Meki uvez

12.75 €

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

Meki uvez

121.93 €

Mozart-Collection Baltisches Festival Orchester

Audio CD

8.80 €

traumatischen Neurosen Hermann Oppenheim

Meki uvez

25.61 €

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

Meki uvez

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.