Mondadori Store

Trova Mondadori Store

Benvenuto
Accedi o registrati

lista preferiti

Per utilizzare la funzione prodotti desiderati devi accedere o registrarti

Vai al carrello
 prodotti nel carrello

Totale  articoli

0,00 € IVA Inclusa

Verified Software. Theories, Tools and Experiments.
Verified Software. Theories, Tools and Experiments.

Verified Software. Theories, Tools and Experiments.


pubblicato da Springer International Publishing

voto 0 su 5   dai un voto
Prezzo online:
51,99 €
Acquista eBook
Prenota e ritira Aggiungi ai preferiti
Condividi
facebook tweet linkedin whatsapp

Mondadori Store e Kobo
tooltip arrow Vuoi saperne di più? leggi le nostre FAQ »

This book constitutes the refereed proceedings of the 14th International Conference on Verified Software. Theories, Tools and Experiments, VSTTE 2022 held in Trento, Italy, during October 1718, 2022.

The 9 papers presented in this volume were carefully reviewed and selected from 20 submissions. The papers describe software verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.

Dettagli down

Generi Informatica e Web » Linguaggi e Applicazioni » Scienza dei calcolatori » Hardware » Programmazione e sviluppo del software , Scienza e Tecnica » Matematica

Editore Springer International Publishing

Formato Ebook con Adobe DRM

Pubblicato 31/01/2023

Lingua Inglese

EAN-13 9783031258039

0 recensioni dei lettori  media voto 0  su  5

Scrivi una recensione per "Verified Software. Theories, Tools and Experiments."

Verified Software. Theories, Tools and Experiments.
 

Accedi o Registrati  per aggiungere una recensione

usa questo box per dare una valutazione all'articolo: leggi le linee guida
torna su Torna in cima