Hoppa till sidans huvudinnehåll

Laura Titolo – författare

Visar alla böcker från författaren .
4 produkter
Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez - NASA Formal Methods, Häftad

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 189 kr

Skickas inom 10-15 vardagar

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

28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings

AvAlessandro Cimatti,Laura Titolo

Häftad, Engelska, 2023

939 kr

Skickas inom 10-15 vardagar

Aaron Dutle, Laura Humphrey, Laura Titolo - NASA Formal Methods, Häftad
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 009 kr

Skickas inom 10-15 vardagar

Santiago Escobar, Laura Titolo - Logic-Based Program Synthesis and Transformation, Häftad
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

839 kr

Skickas inom 5-8 vardagar