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, Berlin
SKU: 48206136
Price: 1155 CZK
Availability: InStock
Author: Jonathan P. Bowen
ISBN: 9789819646555

6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures

Jonathan P. Bowen

Cláudio Gomes

Zhiming Liu

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 48206136

Nakladatelství Springer, Berlin, listopad 2024

This book PSE 15584 constitutes the refereed proceedings of the 6th International School on Engineer... Celý popis

Libristo kód: 48206136

116 b

1 155 Kč

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

30 dní na vrácení zboží

This book PSE 15584 constitutes the refereed proceedings of the 6th International School on Engineering Trustworthy Software Systems, SETSS 2024, held in Chongqing, China, in April 14-21, 2024.

The 5 full papers and 2 short papers were carefully reviewed and selected from 7 submissions. The proceedings focuses on

-Preparatory Course: Introduction to Mathematical Logic and Logic of Programming;

-Introduction to Digital Twins

-Theories of Contracts and Their Applications

-From Automata Models to Validated BCI-Based Cooperative Control On the Viability of Rigorous Approaches to Human-Cyber-Physical Systems of Systems; What Came First, Math or Computing?

-What Came First, Math or Computing?

-Software Engineering for Explainable AI

-Distribution Testing: The New Frontier for Formal Methods