home libri books Fumetti ebook dvd top ten sconti 0 Carrello


Torna Indietro

lahiri shuvendu k. (curatore); wang chao (curatore) - computer aided verification

Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II

;




Disponibilità: Normalmente disponibile in 15 giorni


PREZZO
43,98 €
NICEPRICE
41,78 €
SCONTO
5%



Questo prodotto usufruisce delle SPEDIZIONI GRATIS
selezionando l'opzione Corriere Veloce in fase di ordine.


Pagabile anche con Carta della cultura giovani e del merito, 18App Bonus Cultura e Carta del Docente


Facebook Twitter Aggiungi commento


Spese Gratis

Dettagli

Genere:Libro
Lingua: Inglese
Editore:

Springer

Pubblicazione: 07/2020
Edizione: 1st ed. 2020





Trama

The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.*

The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections:

Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems.

Part II: model checking; software verification; stochastic systems; and synthesis.

*The conference was held virtually due to the COVID-19 pandemic.





Sommario

Model Checking.- Software Verification.- Stochastic Systems.- Synthesis.











Altre Informazioni

ISBN:

9783030532901

Condizione: Nuovo
Collana: Lecture Notes in Computer Science
Dimensioni: 235 x 155 mm Ø 1062 gr
Formato: Brossura
Illustration Notes:XVIII, 683 p. 719 illus., 94 illus. in color.
Pagine Arabe: 683
Pagine Romane: xviii


Dicono di noi