Laura Titolo – författare

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

4 produkter

Kategorier

4 produkter

NASA Formal Methods
13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings
AvAaron Dutle,Mariano M. Moscatom. fl.
Häftad, Engelska, 2021
1 219 kr
Skickas inom 10-15 vardagar
Del 14290
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
969 kr
Skickas inom 10-15 vardagar
Del 15682
Del 15682 - Lecture Notes in Computer Science
NASA Formal Methods
17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11–13, 2025, Proceedings
AvAaron Dutle,Laura Humphreym. fl.
Häftad, Engelska, 2025
2 069 kr
Skickas inom 10-15 vardagar
Del 16117
Del 16117 - Lecture Notes in Computer Science
Logic-Based Program Synthesis and Transformation
35th International Symposium, LOPSTR 2025, Rende, Italy, September 9–10, 2025, Proceedings
AvSantiago Escobar,Laura Titolo
Häftad, Engelska, 2025
859 kr
Skickas inom 5-8 vardagar