Hoppa till sidans huvudinnehåll

Alessandro Cimatti – författare

Visar alla böcker från författaren Alessandro Cimatti.
4 produkter
Alessandro Cimatti, Laura Titolo - Formal Methods for Industrial Critical Systems, Häftad
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

939 kr

Skickas inom 10-15 vardagar

Alessandro Cimatti, Marjan Sirjani - Software Engineering and Formal Methods, Häftad

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

Marco Bernardo, Alessandro Cimatti - Formal Methods for Hardware Verification, Häftad

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

Alessandro Cimatti, Roberto Sebastiani - Theory and Applications of Satisfiability Testing -- SAT 2012, Häftad

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