Computer Aided Verification
Computer Aided Verification
EBOOK IN LINGUA STRANIERA

Computer Aided Verification

Springer, 2026
Omaggio
Venditore: Feltrinelli
Acquista online
Scaricabile subito
Articolo acquistabile con Carta del Docente
Articolo acquistabile con Carta Cultura Giovani e Carta del Merito
Articolo acquistabile con Carta della Cultura
Carta della Cultura
Dati e Statistiche
Salvato in 0 liste dei desideri
Computer Aided Verification
Scaricabile subito
Omaggio
Omaggio
Scaricabile subito

Descrizione


This open access 3-volume set constitutes the proceedings of the 38th International Conference, CAV 2026, held in Lisbon, Portugal, in July 2026. The 54 full papers, together with 21 short tool papers,and 6 industrial experience reports and case studies, were carefully reviewed and selected from 319 submissions. These papers apply or extend formal methods to a wide range of domains such as concurrency, machine learning and neural networks, quantum systems,as well as hybrid and stochastic systems. This annual conference is dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. This year, CAV was held as part of the Federated Logic Conference (FLoC).

Dettagli

Lingua:
Inglese
Compatibilità:
Tutti i dispositivi (eccetto Kindle) Scopri di più
Layout:
Reflowable
EAN:
9783032325198

Compatibilità

Formato:

Gli eBook venduti da Feltrinelli.it sono in formato ePub e possono essere protetti da Adobe DRM. In caso di download di un file protetto da DRM si otterrà un file in formato .acs, (Adobe Content Server Message), che dovrà essere aperto tramite Adobe Digital Editions e autorizzato tramite un account Adobe, prima di poter essere letto su pc o trasferito su dispositivi compatibili.

Scopri di più

Compatibilità:

Gli eBook venduti da Feltrinelli.it possono essere letti utilizzando uno qualsiasi dei seguenti dispositivi: PC, eReader, Smartphone, Tablet o con una app Kobo iOS o Android.

Scopri di più

Cloud:

Gli eBook venduti da Feltrinelli.it sono sincronizzati automaticamente su tutti i client di lettura Kobo successivamente all’acquisto. Grazie al Cloud Kobo i progressi di lettura, le note, le evidenziazioni vengono salvati e sincronizzati automaticamente su tutti i dispositivi e le APP di lettura Kobo utilizzati per la lettura.

Scopri di più

Clicca qui per sapere come scaricare gli ebook utilizzando un pc con sistema operativo Windows

​