LIBRISTO
LIBROAMANTO
povinné
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
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 Zberné miesto GLS 2.49 SPS 3.99 SPS Parcel Shop 2.99 Packeta kurýr 3.99 Pošta 3.99 Zberné miesto DPD 2.99 Kuriér GLS 3.99 Packeta 2.99

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

Engineering Trustworthy Software Systems

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Engineering Trustworthy Software Systems Jonathan P. Bowen
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
? points 122 b
50.63
Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru


Zákazníci tiež kúpili


Leggenda privata Michele Mari / Kniha Brožovaná
common.buy 14.07
My Hero Academia 10 Moje hrdinská akademie Kóhei Horikoši / Kniha Brožovaná
common.buy 7.08
Sedm pohádek Antonína Langweila Kateřina Bečková / Kniha List
common.buy 12.14
Bienheureuse Staritsa Matrona Sofia Kniha Brožovaná
common.buy 9.11
Forcenés Bordas / Kniha Brožovaná
common.buy 12.75
SIRT FOOD IBON GARCIA DE MIGUEL / Kniha Brožovaná
common.buy 18.02
Deux Discours-Programmes: La Patrie Francaise Jules Lemaitre / Kniha Brožovaná
common.buy 13.87
Premonicions Emili Bayo / Kniha Brožovaná
common.buy 12.75
Mozart-Collection Baltisches Festival Orchester / Audio Audio CD
common.buy 8.80
traumatischen Neurosen Hermann Oppenheim / Kniha Brožovaná
common.buy 25.61

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.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať


Computer Science and Engineering-Theory and Applications Leocundo Aguilar / Kniha Brožovaná
common.buy 154.55
Modern Approach to the Perimenopausal Years Robert B. Greenblatt / Kniha Pevná
common.buy 109.38
The Fowl Twins Get What They Deserve Eoin Colfer / Kniha Brožovaná
common.buy 7.28
Top
The Ink Black Heart Joanne Kathleen Rowling / Kniha Brožovaná
common.buy 10.22
Slup Zupagrafika / Kniha Pevná
common.buy 30.78
Uncovering Aleister Crowley's Thoth Tarot Valentina Nightingale / Kniha Brožovaná
common.buy 23.49
Arctic Explorations in the Years 1853,'54,'55 M.D. U.S.N. Elisha Kent Kane / Kniha Brožovaná
common.buy 29.97
English Synonyms, Classified And Explained George Frederick Graham / Kniha Pevná
common.buy 43.64
Introducing Learning and Memory Richard Appignanesi / Kniha Brožovaná
common.buy 5.97
Spoiled Silk George William Shea / Kniha Brožovaná
common.buy 46.28

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?