Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Engineering Trustworthy Software Systems

Jonathan P. Bowen

Zhiming Liu

Zili Zhang

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 16013577

Nakladatelství Springer International Publishing AG, duben 2017

This volume contains a record of some of the lectures and seminars delivered at the Second Internati... Celý popis

Libristo kód: 16013577

115 b

1 154 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

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

Kniha

755 Kč

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

Brožovaná

732 Kč

NOCIONES JURIDICAS DE EMPRESA LOPEZ DIAZ

Kniha

960 Kč

Disturbi e traiettorie atipiche del neurosviluppo. Diagnosi e intervento

Brožovaná

1 117 Kč

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

List

328 Kč

Forcenés Bordas

Brožovaná

281 Kč

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

Brožovaná

209 Kč

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

Brožovaná

438 Kč

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

Brožovaná

1 015 Kč

GER-JOHN LOCKE ALS PADAGOGISCH Johann Carl August Peters

Pevná

619 Kč

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

Brožovaná

445 Kč

Corpus iuris civilis fur das Deutsche Reich und Oesterreich Anonym

Brožovaná

732 Kč

Premonicions Emili Bayo

Brožovaná

307 Kč

El hombre que pudo ser libre Javier Zuloaga

Brožovaná

593 Kč

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

Brožovaná

3 026 Kč

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

Brožovaná

1 257 Kč

Libro App Kid Sayman

Brožovaná

358 Kč

SIRT FOOD IBON GARCIA DE MIGUEL

Brožovaná

432 Kč

Angst und Macht Rainer Mausfeld

Brožovaná

309 Kč

Mozart-Collection Baltisches Festival Orchester

Audio CD

204 Kč

traumatischen Neurosen Hermann Oppenheim

Brožovaná

581 Kč

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

Brožovaná

594 Kč

Deux Discours-Programmes: La Patrie Francaise Jules Lemaitre

Brožovaná

336 Kč

Bienheureuse Staritsa Matrona Sofia Kniha

Brožovaná

191 Kč

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.