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.

Automated Technology for Verification and Analysis

Name: Automated Technology for Verification and Analysis
Brand: Springer, Berlin
SKU: 49615608
Price: 84.33 EUR
Availability: InStock
Author: Meenakshi D´Souza
ISBN: 9783032087065

23rd International Symposium, ATVA 2025, Bengaluru, India, October 27-30, 2025, Proceedings

Meenakshi D´Souza

Raghavan Komondoor

B Srivathsan

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 49615608

Nakladateľstvo Springer, Berlin, december 2025

This book constitutes the refereed proceedings of the 23rd International Symposium on Automated Tech... Celý popis

Libristo kód: 49615608

204 b

84.33 €

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

Až 30 dní na vrátenie tovaru

This book constitutes the refereed proceedings of the 23rd International Symposium on Automated Technology for Verification and Analysis, ATVA 2025, held in Bengaluru, India, from October 27 30, 2025.

The 17 full papers and 4 short papers included in the proceedings were carefully reviewed and selected from 59 submissions. They were organized in topical sections as follows: Automata and temporal logic; games and controller synthesis; monitoring and runtime verification; probabilistic verification and quantum computing; learning; hybrid and dynamical systems; and verification.