Laura Titolo - Böcker

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

Av Aaron Dutle, Mariano M. Moscato m. fl

Häftad, Engelska, 2021

1 199 kr

Skickas inom 10-15 vardagar

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

929 kr

Skickas inom 10-15 vardagar

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, Engelska, 2025

2 089 kr

Skickas inom 10-15 vardagar

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, Engelska, 2025

989 kr

Skickas inom 10-15 vardagar