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: 51292509
Price: 1155 CZK
Availability: InStock
Author: Jonathan P. Bowen
ISBN: 9789819586165

7th International School, SETSS 2025, Beijing, China, May 17-23, 2025, Tutorial Lectures

Jonathan P. Bowen

Andrea Turrini

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 51292509

Nakladatelství Springer, Berlin, červenec 2026

This book LNCS 16481 constitutes the refereed proceedings of the 7th International School on Enginee... Celý popis

Libristo kód: 51292509

116 b

Nové

1 155 Kč

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

30 dní na vrácení zboží

This book LNCS 16481 constitutes the refereed proceedings of the 7th International School on Engineering Trustworthy Software Systems, SETSS 2025, held in Beijing, China, in May 17 23, 2025.

The 7 full papers were carefully reviewed and selected from 8 submissions. The proceedings focuses on lectures given during SETSS covered an ample variety of
techniques to achieve this goal, from model checking to simulation testing, from the use of formal methods and contracts to model-based engineering.