Hoppa till sidans huvudinnehåll

Gustavo Carvalho – författare

Visar alla böcker från författaren .
3 produkter
Gustavo Carvalho, Volker Stolz - Formal Methods: Foundations and Applications, Häftad
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

Gustavo Carvalho, Tsutomu Kobayashi - Formal Methods Teaching, Häftad

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

Gustavo Carvalho - Animalian The Sanctuary's Revenge, Häftad

Animalian The Sanctuary's Revenge

AvGustavo Carvalho

Häftad, Engelska, 2023

359 kr

Skickas inom 5-8 vardagar