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č PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 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

Name: Engineering Trustworthy Software Systems
Brand: Springer
SKU: 49902348
Price: 1455 CZK
Availability: InStock
Author: Zhiming Liu
ISBN: 9783319296289

First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

Zhiming Liu

Zili Zhang

Jazyk

Angličtina

E-kniha Adobe ePub DRM

Nakladatelství Springer, únor 2016

This volume contains the lecture notes of the five coursesand one seminar given at the School on Eng... Celý popis

Libristo kód: 49902348

146 b

1 455 Kč

Skladem Ihned ke stažení

Mohlo by vás také zajímat

Afghan Campaigns of 1878, 1880 S.H. Shadbolt

Brožovaná

777 Kč

This volume contains the lecture notes of the five coursesand one seminar given at the School on Engineering Trustworthy Software Systems(SETSS 2014), held in September 2014 at Southwest University in Chongqing,China.The material is useful for postgraduate students,researchers, academics and industrial engineers who are interested in thetheory and practice of methods and tools for the design and programming oftrustworthy software systems. The common themes of the courses include thedesign and use of theories, techniques and tools for software specification andmodeling, analysis and verification. The courses cover sequential programming,component- and object software, hybrid systems and cyber-physical systems withchallenges of termination, security, safety, security, fault-tolerance andreal-time requirements. The techniques include model checking, correctness byconstruction through refinement and model transformations, synthesis andcomputer algebra.