Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Verification, Model Checking, and Abstract Interpretation

Name: Verification, Model Checking, and Abstract Interpretation
Brand: Springer, Berlin
SKU: 50123032
Price: 72.19 EUR
Availability: InStock
Author: Yu-Fang Chen
ISBN: 9783032156990

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

Yu-Fang Chen

Thomas Philip Jensen

Ondrej Lengál

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 50123032

Založba Springer, Berlin, marec 2026

This book constitutes the proceedings of the 27th International Conference on Verification, Model Ch... Celoten opis

Koda Libristo: 50123032

174 b

Novo

72.19 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Die drei ??? Kids, Das außerirdische Buch Ulf Blanck

Trda

10.42 €

Le carnet de Gabriel - Petits carreaux, 96p, A5 - Graffiti

Rokovnik

9.91 €

Ce que le corps révèle vraiment de vous Claudine Biland Knjiga

Mehka

27.43 €

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.