Alessandro Cimatti – författare

Visar alla böcker från Alessandro Cimatti. Handla online eller reservera direkt i butik.

1. 

   Formal Methods for Industrial Critical Systems

   2023

   • Häftad 959 kr
2. 

   Software Engineering and Formal Methods

   2017

   • Häftad 739 kr
3. 

   Formal Methods for Hardware Verification

   2006

   • Häftad 739 kr
4. 

   Theory and Applications of Satisfiability Testing -- SAT 2012

   2012

   • Häftad 719 kr