Laura Titolo – författare
Visar alla böcker från författaren Laura Titolo.
4 produkter
4 produkter
NASA Formal Methods
13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings
Häftad, Engelska, 2021
1 179 kr
Skickas inom 10-15 vardagar
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
Häftad, Engelska, 2023
939 kr
Skickas inom 10-15 vardagar
Del 15682 - Lecture Notes in Computer Science
NASA Formal Methods
17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11–13, 2025, Proceedings
Häftad, Engelska, 2025
1 999 kr
Skickas inom 10-15 vardagar
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
Häftad, Engelska, 2025
829 kr
Skickas inom 5-8 vardagar