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

Formal Methods for an Informal World

Name: Formal Methods for an Informal World
Brand: Springer, Berlin
SKU: 43858703
Price: 1223 CZK
Availability: InStock
Author: Antonio Cerone
ISBN: 9783031436772

ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures

Antonio Cerone

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 43858703

Nakladatelství Springer, Berlin, únor 2024

This volume includes six lectures given at the ICTAC (International Colloquium on Theoretical Aspect... Celý popis

Libristo kód: 43858703

122 b

1 223 Kč

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

Až 30 dní na vrácení zboží

Zákazníci také koupili

Die Auswirkungen der demographischen Entwicklung auf die Krankenhausverweildauer in Deutschland. Uwe Lebok

Brožovaná

2 819 Kč

Quaker in den USA Mareike Jacob

Brožovaná

389 Kč

Pfaffenspiegel (Großdruck): Historische Denkmale des christlichen Fanatismus Otto Von Corvin

Brožovaná

442 Kč

La Légende de Quisqueya I Margaret Papillon

Brožovaná

279 Kč

Journal Des Journaux de La Commune: Tableau Resume de La Presse Quotidienne Du 19 Mars Au 24 Mai, 1871. Lois, Decrets, Proclamations, Rapports Et Info Commune De Paris

Brožovaná

728 Kč

Brève histoire des origines de l'humanité Balzeau

Brožovaná

340 Kč

This volume includes six lectures given at the ICTAC (International Colloquium on Theoretical Aspects of Computing) School on Formal Methods for an Informal World, held on September 1-7, 2021, originally scheduled to take place in Astana but held in virtual mode due to the pandemic.The school addressed the use of formal methods at various levels of rigour in different application domains: human-computer interaction, cognitive science, business process management, robotics, and healthcare. The emphasis of the school was on practical applications in which formal methods provide unambiguous descriptions of the real world that facilitate understanding and formal and informal analysis. The target audience consists of graduate students, young researchers and industrial practitioners, from both computer science and other fields that make use of computational methods.