Laura Titolo - Böcker

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

NASA Formal Methods

Av Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez, Cesar A. Munoz

Häftad, Engelska, 2021

1 209 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

Av Alessandro Cimatti, Laura Titolo

Häftad, Engelska, 2023

949 kr

Skickas inom 7-10 vardagar
Aaron Dutle, Laura Humphrey, Laura Titolo - NASA Formal Methods, Häftad
Del 15682 - Lecture Notes in Computer Science

NASA Formal Methods

Av Aaron Dutle, Laura Humphrey, Laura Titolo

Häftad, Engelska, 2025

2 179 kr

Skickas inom 10-15 vardagar
Santiago Escobar, Laura Titolo - Logic-Based Program Synthesis and Transformation, Häftad

Logic-Based Program Synthesis and Transformation

Av Santiago Escobar, Laura Titolo

Häftad, Engelska, 2025

989 kr

Skickas inom 10-15 vardagar