NASA Formal Methods
Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez
Häftad
906 kr
AvMauricio Ayala-Rincón,César A. Muñoz
Del 10499 i serien Lecture Notes in Computer Science
552 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.