Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Automated Technology for Verification and Analysis

Name: Automated Technology for Verification and Analysis
Brand: Springer, Berlin
SKU: 44048156
Price: 76.39 EUR
Availability: InStock
Author: Étienne André
ISBN: 9783031453311

21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II

Étienne André

Jun Sun

Lingua

Inglese

Libro In brossura

Codice Libristo: 44048156

Casa editrice Springer, Berlin, dicembre 2023

This book constitutes the refereed proceedings of the 21st International Symposium on Automated Tech... Descrizione completa

Codice Libristo: 44048156

187 b

76.39 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Deutsche Stilistik Richard Moritz Meyer

In brossura

21.69 €

Osm Radka Třeštíková

Rigido

12.49 €

Il genere di Dio. La Chiesa e la teologia alla prova del gender Selene Zorzi

In brossura

14.69 €

1939 - An der Schwelle zum Weltkrieg Klaus Hildebrand

Rigido

122.69 €

Mr. Mercedes Stephen King

In brossura

12.49 €

JEAN MICHEL DEFAYE: 6 ETUDES (TUBAS 2) DEFAYE Libro

binding.

58.09 €

Kationische Zusammensetzung von Heilschlämmen - In-vitro-Mikrodialyse Ágnes Bajza

In brossura

21.19 €

This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023. The symposium intends to promote research in theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between regional and international research communities and industry in related areas. The 30 regular papers presented together with 7 tool papers were carefully reviewed and selected from 150 submissions.The papers are divided into the following topical sub-headings: Temporal logics, Data structures and heuristics, Verification of programs and hardware.