Laura Titolo – författare

Visar alla böcker från författaren Laura Titolo.

4 produkter

1. 

   NASA Formal Methods

   13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings

   Av Aaron Dutle, Mariano M. Moscato m. fl.

   Häftad, 2021

   1199 kr

   Lägg i varukorg

2. 

   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, 2023

   949 kr

   Lägg i varukorg

3. 

   NASA Formal Methods

   17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11–13, 2025, Proceedings

   Av Aaron Dutle, Laura Humphrey m. fl.

   Häftad, 2025

   2029 kr

   Lägg i varukorg

4. 

   Logic-Based Program Synthesis and Transformation

   35th International Symposium, LOPSTR 2025, Rende, Italy, September 9–10, 2025, Proceedings

   Av Santiago Escobar, Laura Titolo

   Häftad, 2025

   839 kr

   Lägg i varukorg