Vai al contenuto

Sessione

Sessione

Caricamento sessione

Formal Methods for Industrial Critical Systems

Accedi per salvarlo

★ —

Valutazione

—

Pagine

2023

Anno

Valuta questo libro

Tocca per valutare

Catalogo · 9783031436802

Formal Methods for Industrial Critical Systems

Alessandro Cimatti, Laura Titolo

ISBN 9783031436802

Descrizione non disponibile per questo libro.

Vedi su Google Bookspowered by Google

La tua libreria

Accedi per aggiungere questo libro alla tua libreria.

Accedi Registrati

Lettori

Communitas attorno al libro

Letture affini

Copertina di Theory and Applications of Satisfiability Testing – SAT 2012

Theory and Applications of Satisfiability Testing – SAT 2012

Alessandro Cimatti

Copertina di Software Engineering and Formal Methods

Software Engineering and Formal Methods

Alessandro Cimatti, Marjan Sirjani

Copertina di Formal Methods for Hardware Verification

Formal Methods for Hardware Verification

Marco Bernardo, Alessandro Cimatti

Verba volant · scripta manent