Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 11.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer
SKU: 41014596
Price: 19.21 PLN
Availability: InStock
Author: Alexandra Silva
ISBN: 9783030816858

33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I

Alexandra Silva

K. Rustan M. Leino

Język

Angielski

E-book Adobe ePub DRM

Kod Libristo: 41014596

Wydawnictwo Springer, lipiec 2021

This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33r... Cały opis

Kod Libristo: 41014596

11 b

19.21 zł

Dostępna Produkt cyfrowy - wysyłamy od razu

Mogłoby Cię także zainteresować

Fairy Tales of Hans Christian Andersen Noel Daniel

Książka

153.72 zł

Norrland Travel Guide

Miękka

524.80 zł

The Great Yet Completely Misunderstood Commission of Jesus: The Original Hebrew Understanding of Discipleship Brian S Wright M R E

Miękka

44.79 zł

Modern Pheasant Hunting Steve Grooms

Adobe ePub DRM

55.58 zł

Simone Weil: A Very Short Introduction (Paperback) Rozelle-Stone

Miękka

46.23 zł

Invincible Florence Comite

Miękka

78.40 zł

This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis.Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification.This is an open access book.