Alessandro Cimatti - Böcker

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

Av Alessandro Cimatti, Laura Titolo

Häftad, Engelska, 2023

949 kr

Skickas inom 5-8 vardagar
Alessandro Cimatti, Marjan Sirjani - Software Engineering and Formal Methods, Häftad

Software Engineering and Formal Methods

Av Alessandro Cimatti, Marjan Sirjani

Häftad, Engelska, 2017

739 kr

Skickas inom 7-10 vardagar
Marco Bernardo, Alessandro Cimatti - Formal Methods for Hardware Verification, Häftad

Formal Methods for Hardware Verification

Av Marco Bernardo, Alessandro Cimatti

Häftad, Engelska, 2006

739 kr

Skickas inom 7-10 vardagar
Alessandro Cimatti, Roberto Sebastiani - Theory and Applications of Satisfiability Testing -- SAT 2012, Häftad

Theory and Applications of Satisfiability Testing -- SAT 2012

Av Alessandro Cimatti, Roberto Sebastiani

Häftad, Engelska, 2012

719 kr

Skickas inom 7-10 vardagar