Alessandro Cimatti - Böcker

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

4 produkter

Kategorier

4 produkter

Formal Methods for Industrial Critical Systems

28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings

Av Alessandro Cimatti, Laura Titolo

Häftad, Engelska, 2023

929 kr

Skickas inom 10-15 vardagar

Software Engineering and Formal Methods

15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings

Av Alessandro 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

Av Marco 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

Av Alessandro Cimatti, Roberto Sebastiani

Häftad, Engelska, 2012

709 kr

Skickas inom 10-15 vardagar