Alessandro Cimatti – författare

Visar alla böcker från författaren .

4 produkter

Kategorier

4 produkter

Del 14290
Del 14290 - Lecture Notes in Computer Science
Formal Methods for Industrial Critical Systems
28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings
AvAlessandro Cimatti,Laura Titolo
Häftad, Engelska, 2023
949 kr
Skickas inom 10-15 vardagar
Software Engineering and Formal Methods
15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings
AvAlessandro Cimatti,Marjan Sirjani
Häftad, Engelska, 2017
729 kr
Skickas inom 10-15 vardagar
Formal Methods for Hardware Verification
6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures
AvMarco Bernardo,Alessandro Cimatti
Häftad, Engelska, 2006
729 kr
Skickas inom 10-15 vardagar
Theory and Applications of Satisfiability Testing -- SAT 2012
15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings
AvAlessandro Cimatti,Roberto Sebastiani
Häftad, Engelska, 2012
709 kr
Skickas inom 10-15 vardagar