Kniha Verification, Model Checking, and Abstract Interpretation Krishna S.

Verification, Model Checking, and Abstract Interpretation

26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II

Jazyk: Angličtina
Väzba: Brožovaná
Vydavateľ: Springer, Berlin
Dostupnosť: Skladom u dodávateľa
Odosielame za 5-8 dní
64.80
The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Confer...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
2025
Stránok
350
EAN
9783031827020
Enbook ID
47021693
Vydavateľ
Hmotnosť
412
Rozmery
155 x 235

Kompletný popis

The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 20 21, 2025.
The 20 full papers together with 2 accepted tool papers and 18 full length regular and case-study papers presented in the proceedings were carefully reviewed and selected from 48 submissions.

The program of VMCAI 2025 conference in the core areas of VMCAI including abstract interpretation, programming languages, hardware and software model checking, cyber-physical systems, formal synthesis, formal methods in artificial intelligence, concurrency and other areas.

Mohlo by vás zaujímať

8.40

40 Years Loved

Peony Lane Publishing
9.47

Adult Coloring Book

Adult Coloring Books Illustrators Allian
12.80
18.56

HER BROTHER'S LETTERS

CHARLES M. RELYEA
30.78
27.85

Sorting Out Catholicism

Massimo Faggioli
22.47
30.39

Ash'n

Wavy Martin
15.24
30.20
21.40

Site Automation

Thomas Bock
181.92
163.25
26.19

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

LETTRINES

GRACQ JULIEN
23.26
37.33

Křesťanství v tóze

Ondřej Doskočil
5.60

Arthur Honegger

Harry Halbreich
47.60
42.22
8.69
16.02

Caminando 3

Rosaura Sanchez
37.04

Bauernhof

Sigrid Tinz
8.50

Marienkind

Paul Heyse
8.69

The Sound of Disney

Franziska Brocksch
21.69