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.

Tools and Algorithms for the Construction and Analysis of Systems

Name: Tools and Algorithms for the Construction and Analysis of Systems
Brand: Springer Nature Switzerland AG
SKU: 35463840
Price: 946 CZK
Availability: InStock
Author: Jan Friso Groote
ISBN: 9783030720155

Jan Friso Groote

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 35463840

Nakladatelství Springer Nature Switzerland AG, březen 2021

This open access two-volume set constitutes the proceedings of the 27th International Conference on... Celý popis

Libristo kód: 35463840

95 b

946 Kč

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

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

Zákazníci také koupili

Ethische Entscheidungen und Rechtfertigungen unter der besonderen Bedingung der sozialen Identitaet Mirjam Christine Gollenia

Brožovaná

1 492 Kč

ELS TROBADORS AL BISBAT DE GERONES PERERA ROURA

Brožovaná

298 Kč

Problemy spo¿eczno-ekonomiczne zwi¿zane z przedwczesnym ko¿czeniem nauki przez uczniów szkó¿ podstawowych w Bengalu Zachodnim Arup Majumder

Brožovaná

1 201 Kč

This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 - April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic.The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers.