Hoppa till sidans huvudinnehåll

Alessandro Cimatti - Böcker

Visar alla böcker från författaren Alessandro Cimatti.
4 produkter
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 7-10 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