Gustavo Carvalho – författare

Visar alla böcker från författaren Gustavo Carvalho.

3 produkter

Kategorier

3 produkter

Del 12475
Del 12475 - Lecture Notes in Computer Science
Formal Methods: Foundations and Applications
23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings
AvGustavo Carvalho,Volker Stolz
Häftad, Engelska, 2020
949 kr
Skickas inom 10-15 vardagar
Formal Methods Teaching
7th Formal Methods Teaching Workshop, FMTea 2026, Tokyo, Japan, May 19, 2026, Proceedings
AvGustavo Carvalho,Tsutomu Kobayashi
Häftad, Engelska, 2026
709 kr
Skickas inom 5-8 vardagar
Animalian The Sanctuary's Revenge
AvGustavo Carvalho
Häftad, Engelska, 2023
359 kr
Skickas inom 5-8 vardagar