Gustavo Carvalho – författare

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

3 produkter

1. 

   Formal Methods: Foundations and Applications

   23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings

   Av Gustavo Carvalho, Volker Stolz

   Häftad, 2020

   959 kr

   Lägg i varukorg

2. 

   Formal Methods Teaching

   7th Formal Methods Teaching Workshop, FMTea 2026, Tokyo, Japan, May 19, 2026, Proceedings

   Av Gustavo Carvalho, Tsutomu Kobayashi

   Häftad, 2026

   809 kr

   Lägg i varukorg

3. 

   Animalian The Sanctuary's Revenge

   Av Gustavo Carvalho

   Häftad, 2023

   369 kr

   Lägg i varukorg