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.

Static Analysis

Name: Static Analysis
Brand: Springer
SKU: 41010491
Price: 1951 CZK
Availability: InStock
Author: David Pichardie
ISBN: 9783030654740

27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings

David Pichardie

Mihaela Sighireanu

Jazyk

Angličtina

E-kniha Adobe ePub DRM

Libristo kód: 41010491

Nakladatelství Springer, leden 2021

This book constitutes the refereed proceedings of the 27th International Symposium on Static Analysi... Celý popis

Libristo kód: 41010491

195 b

1 951 Kč

Skladem Ihned ke stažení

Zákazníci také koupili

Zákon o inspekci práce Jaroslav Stádník

Pevná

835 Kč

Kulturgeschichte des Marktes Hans Jörg Schmidt

Brožovaná

345 Kč

Methodische Grammatik der griechischen Sprache Rudolf Georg Hermann Westphal

Brožovaná

529 Kč

CINQ CHANSONS POUR PERCUSSION PERCUSSIONS CLAUDE VIVIER Kniha

binding.

998 Kč

DSA 149: Aldarin Stefan Unterhuber

Adobe ePub DRM

213 Kč

Funko POP Animation: Demon Slayer - Zenitsu Agatsuma #2192 Hra/Hračka

Hračka

523 Kč

This book constitutes the refereed proceedings of the 27th International Symposium on Static Analysis, SAS 2020, held in Chicago, IL, USA, in November 2020.The 14 regular papers presented in this book together with 2 invited talks and 1 extended abstract, were carefully reviewed and selected from 34 submissions.The papers cover topics such as abstract domains; abstract interpretation; automated deduction; data flow analysis; debugging; deductive methods; emerging applications; model-checking; program transformations; predicate abstraction; security analysis; tool environments and architectures; and type checking. Due to the Corona pandemic this event was held virtually.