Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Engineering Trustworthy Software Systems

Jonathan P. Bowen

Zhiming Liu

Zili Zhang

Język

Angielski

Książka Miękka

Kod Libristo: 16013577

Wydawnictwo Springer International Publishing AG, kwiecień 2017

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

Kod Libristo: 16013577

122 b

214.27 zł

Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

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

Książka

132.98 zł

Leggenda privata Michele Mari

Miękka

56.80 zł

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

Miękka

195.51 zł

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

Miękka

74.06 zł

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

Miękka

34.52 zł

Disturbi e traiettorie atipiche del neurosviluppo. Diagnosi e intervento

Miękka

188.98 zł

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

Karta

53.28 zł

Bienheureuse Staritsa Matrona Sofia Książka

Miękka

38.53 zł

Forcenés Bordas

Miękka

54.09 zł

SIRT FOOD IBON GARCIA DE MIGUEL

Miękka

76.37 zł

Corpus iuris civilis fur das Deutsche Reich und Oesterreich Anonym

Miękka

136.09 zł

Deux Discours-Programmes: La Patrie Francaise Jules Lemaitre

Miękka

61.82 zł

Premonicions Emili Bayo

Miękka

53.99 zł

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

Miękka

538.86 zł

Mozart-Collection Baltisches Festival Orchester

CD Audio

37.53 zł

traumatischen Neurosen Hermann Oppenheim

Miękka

108.29 zł

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

Miękka

115.41 zł

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.