Gustavo Carvalho – författare
Visar alla böcker från författaren Gustavo Carvalho. Handla med fri frakt och snabb leverans.
5 produkter
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
736 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods, SBMF 2020, which was supposed to take place in Ouro Preto, Brazil, in November 2020. Instead the symposium took place virtually due to the COVID-19 pandemic.The 10 regular papers presented together …
Formal Methods: Foundations and Applications
23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings
Av Volker Stolz, Gustavo Carvalho
E-bok, 2020
923 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods, SBMF 2020, which was supposed to take place in Ouro Preto, Brazil, in November 2020. Instead the symposium took place virtually due to the COVID-19 pandemic. The 10 regular papers presented together …
Formal Methods Teaching
7th Formal Methods Teaching Workshop, FMTea 2026, Tokyo, Japan, May 19, 2026, Proceedings
Av Gustavo Carvalho, Tsutomu Kobayashi
Häftad, 2026
550 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 7th International Workshop on Formal Methods Teaching, FMTea 2026, held in Tokyo, Japan, on May 19, 2026.The 6 full papers included in these proceedings were carefully reviewed and selected from 12 submissions. The book also contains two invited …
Formal Methods Teaching
7th Formal Methods Teaching Workshop, FMTea 2026, Tokyo, Japan, May 19, 2026, Proceedings
Av Tsutomu Kobayashi, Gustavo Carvalho
E-bok, 2026
718 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 7th International Workshop on Formal Methods Teaching, FMTea 2026, held in Tokyo, Japan, on May 19, 2026.The 6 full papers included in these proceedings were carefully reviewed and selected from 12 submissions. The book also contains two invited …
