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.

Verification, Model Checking, and Abstract Interpretation

Name: Verification, Model Checking, and Abstract Interpretation
Brand: Springer
SKU: 41004231
Price: 2354 CZK
Availability: InStock
Author: Dirk Beyer
ISBN: 9783030393229

21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings

Dirk Beyer

Damien Zufferey

Jazyk

Angličtina

E-kniha Adobe ePub DRM

Libristo kód: 41004231

Nakladatelství Springer, leden 2020

This book constitutes the proceedings of the 21st International Conference on Verification, Model Ch... Celý popis

Libristo kód: 41004231

235 b

2 354 Kč

Skladem Ihned ke stažení

Zákazníci také koupili

Concentracion de La Produccion Blanca Luz Castro

Brožovaná

592 Kč

Gesprache von Text zu Text. Celan - Heidegger - Hoelderlin Robert Andre

Brožovaná

1 188 Kč

This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020. The 21 papers presented in this volume were carefully reviewed from 44 submissions. VMCAI provides a forum for researchers from the communities of verification, model checking, and abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.