Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Verification, Model Checking, and Abstract Interpretation

Name: Verification, Model Checking, and Abstract Interpretation
Brand: Springer, Berlin
SKU: 47021693
Price: 66.91 EUR
Availability: InStock
Author: Krishna S.
ISBN: 9783031827020

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

Krishna S.

Sriram Sankaranarayanan

Ashutosh Trivedi

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 47021693

Nakladateľstvo Springer, Berlin, marec 2025

The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Confer... Celý popis

Libristo kód: 47021693

162 b

66.91 €

Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

LETTRINES GRACQ JULIEN

Brožovaná

24.01 €

My Hero Academia: Complete Season 3

Blu-ray

30.67 €

Loki : Agent d'Asgard T01 Lee Garbett

Brožovaná

38.65 €

Les Dessous Du Congrés De Vienne: Juin 1814-4 Janvier 1815 Maurice-Henri Weil

Brožovaná

34.51 €

Quello della gabbia. Il mio calcio, la mia Inter Corrado Orrico

Brožovaná

16.54 €

Křesťanství v tóze Ondřej Doskočil

Brožovaná

5.34 €

Arthur Honegger Harry Halbreich

Kniha

49.24 €

Physique Chimie 2de Manuel 2019 Nicolas Coppens

Brožovaná

43.59 €

Ni galtzerdiak naiz Socks (Basque) Jeff and Mary Smith

Brožovaná

8.97 €

Ultimate...70s Various

Audio CD

15.23 €

Entwicklung und Erprobung von Mensch-Maschine-Systemen zur automatisierten Fahrzeugführung Martin Wimmer

Brožovaná

37.23 €

Caminando 3 Rosaura Sanchez

Brožovaná

37.43 €

O processo de reestruturacao produtiva nas industrias de Catanduva-SP CARVALHO DOS SANTOS

Brožovaná

55.00 €

Abrege de l'Histoire Generale des Voyages (Tome premier) Jean-François de La Harpe

Pevná

20.48 €

Bauernhof Sigrid Tinz

Brožovaná

8.87 €

Marienkind Paul Heyse

Brožovaná

8.97 €

The Sound of Disney Franziska Brocksch

Brožovaná

22.40 €

Wahrnehmung und ihre Veranderung durch die technische Reproduzierbarkeit Veronika Seitz

Brožovaná

9.07 €

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.