Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
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
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Verification, Model Checking, and Abstract Interpretation

27th International Conference, VMCAI 2026, Rennes, France, January 12-13, 2026, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Verification, Model Checking, and Abstract Interpretation Yu-Fang Chen
Libristo kód: 50123032
Nakladateľstvo Springer, Berlin, marec 2026
This book constitutes the proceedings of the 27th International Conference on Verification, Model Ch... Celý popis
? points 185 b Nové Nové
76.28 €
Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Die drei ??? Kids, Das außerirdische Buch Ulf Blanck / Kniha Pevná
common.buy 11.12 €
Le carnet de Gabriel - Petits carreaux, 96p, A5 - Graffiti / Kalendár/Diár Diár
common.buy 10.82 €
Ce que le corps révèle vraiment de vous Claudine Biland Kniha Brožovaná
common.buy 30.04 €

This book constitutes the proceedings of the 27th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2026, which took place in Rennes, France, during January 12-13, 2026.

The 18 full papers presented in the proceedings were carefully reviewed and selected from 54 submissions. They deal with formal verification model checking, abstract interpretation, fostering interaction, cross-fertilization, and advancement of hybrid methods that combine these and related approaches.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Verification, Model Checking, and Abstract Interpretation
Autor Yu-Fang Chen, Thomas Philip Jensen, Ondrej Lengál
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2026
Počet strán 434
EAN 9783032156990
Libristo kód 50123032
Nakladateľstvo Springer, Berlin
Váha 651
Rozmery 155 x 235

Kategórie

Výpočtové a informačné technológie > Informatika > Teória algoritmov
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Hundred Decker Rocket SMITH MIKE / Kniha Brožovaná
common.buy 9.70 €
Porcelain and Pottery Shoes Anne Everest Wojtkowski / Kniha Pevná
common.buy 35.60 €
Desolation Sound Heather Harbord / Kniha Brožovaná
common.buy 27.81 €
School of Udhra Nathaniel Mackey / Kniha Brožovaná
common.buy 12.03 €
Visualization Analysis and Design Tamara Munzner / Kniha Pevná
common.buy 94.79 €
World Encyclopedia Of Fish & Shellfish And Other Aquatic Creatures Derek Hall / Kniha Pevná
common.buy 27.71 €
The Random Universe JAFFE ANDREW H / Kniha Pevná
common.buy 23.36 €
Vinyl NYC Hattie Lindert / Kniha Pevná
common.buy 31.36 €
Voiceless SABITH MOHAMMED / Kniha Brožovaná
common.buy 12.13 €
Nové
The Purposeful Argument Patricia Bostian / Kniha Brožovaná
common.buy 121.81 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet