Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Engineering Trustworthy Software Systems

Jonathan P. Bowen

Zhiming Liu

Zili Zhang

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 16013577

Nakladateľstvo Springer International Publishing AG, apríl 2017

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

Libristo kód: 16013577

122 b

50.64 €

Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

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

Kniha

28.25 €

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

Brožovaná

8.09 €

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

Brožovaná

121.96 €

Unterleibsbruche Ernst Graser

Brožovaná

35.75 €

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

List

12.15 €

NOCIONES JURIDICAS DE EMPRESA LOPEZ DIAZ

Kniha

35.95 €

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

Brožovaná

32.10 €

El hombre que pudo ser libre Javier Zuloaga

Brožovaná

22.18 €

Premonicions Emili Bayo

Brožovaná

13.87 €

Deux Discours-Programmes: La Patrie Francaise Jules Lemaitre

Brožovaná

13.56 €

Corpus iuris civilis fur das Deutsche Reich und Oesterreich Anonym

Brožovaná

32.10 €

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

Brožovaná

43.45 €

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

Brožovaná

18.33 €

Leggenda privata Michele Mari

Brožovaná

20.55 €

Bienheureuse Staritsa Matrona Sofia Kniha

Brožovaná

8.90 €

Forcenés Bordas

Brožovaná

12.65 €

Mozart-Collection Baltisches Festival Orchester

Audio CD

8.80 €

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

Brožovaná

55.20 €

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

Brožovaná

25.42 €

Angst und Macht Rainer Mausfeld

Brožovaná

13.56 €

traumatischen Neurosen Hermann Oppenheim

Brožovaná

25.62 €

SIRT FOOD IBON GARCIA DE MIGUEL

Brožovaná

16.20 €

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.