Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

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.99 € Zbirna točka DPD 3.49 € Kurirska služba GLS 5.99 € Kurir DPD 3.99 € Kurirska služba Express One 3.99 € Zbirno mesto Express One 3.99 € Zbirno mesto Pošte Slovenije 3.99 € Dostava preko Pošte Slovenije 3.99 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Automated Technology for Verification and Analysis

Name: Automated Technology for Verification and Analysis
Brand: Springer
SKU: 42102022
Price: 81.41 EUR
Availability: InStock
Author: Ahmed Bouajjani
ISBN: 9783031199929

20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings

Ahmed Bouajjani

Lukas Holik

Zhilin Wu

Jezik

Angleščina

E-knjiga Adobe ePub DRM

Založba Springer, oktober 2022

This book constitutes the refereed proceedings of the 20th International Symposium on Automated Tech... Celoten opis

Koda Libristo: 42102022

198 b

81.41 €

Na zalogi Prenesi zdaj

Drugi so kupili tudi

Zaklínač – Kontinent Alain T. Puysségur

Trda

15.99 €

Unzeitgemasse Betrachtungen Friedrich Wilhelm Nietzsche

Mehka

7.64 €

Schillers Konzept der Gerichtsbarkeit der Bühne. Analyse der Umsetzung in "Kabale und Liebe"

Mehka

14.38 €

L'île des esclaves Marivaux

Mehka

8.54 €

Bruce Lee - Die Kollektion 3.0, 5 DVDs Leonard Ho

DVD

33.20 €

Monografiya Rajabov Azamat Rajabov

Mehka

41.65 €

Quatre ermites égyptiens Gabriel Bunge

Mehka

18.21 €

notte dei mostri Junia Wonders

Trda

22.53 €

Geschichte Des Armen-Hospitals Zum H. Nikolaus Zu Cues (1907) Jakob Marx

Mehka

29.78 €

Kurze Geschichte Des Evangelischen Kirchenliedes So Wie Der Kirche in Ihrem Liede. Fünfte Auflage. Hermann Theodor Wangemann

Trda

35.31 €

LA COMEDIA HUMANA VOLUMEN VIII HONORE DE BALZAC

Trda

35.11 €

Traite de Pedagogie (Ed.1886) Kant

Mehka

15.99 €

Construcción de estructuras de hormigón armado adaptado a las instrucciones EHE-08, NCSE y CTE URBAN BROTONS

Mehka

35.82 €

Dragon Ball, Color origen y Red Ribbon 1 Akira Toriyama

Mehka

12.17 €

Fronteras de lo imposible: Un viaje de 150.000 kilómetros tras el misterio IKER JIMENEZ

Mehka

17.50 €

I Feel Like I'm Fixin' To Die (Deluxe Edition) Country Joe & The Fish

Zvočni CD

13.17 €

Die Behandlung der Anteile von Minderheitsgesellschaftern innerhalb der Besteuerung der Konzernunternehmung Arno Probst

Mehka

125.89 €

This book constitutes the refereed proceedings of the 20th International Symposium on Automated Technology for Verification and Analysis, ATVA 2022, held in Beiging, China in October 2022. The symposium is dedicated to promoting research in theoretical and practical aspects of automated analysis, verification and synthesis by providing an international venue for the researchers to present new results. The 21 regular papers presented together with 5 tool papers and 1 invited paper were carefully reviewed and selected from 81 submissions.The papers are divided into the following topical sub-headings: reinforcement learning; program analysis and verification; smt and verification; automata and applications; active learning; probabilistic and stochastic systems; synthesis and repair; and verification of neural networks.