Gustavo Carvalho – författare
Visar alla böcker från författaren Gustavo Carvalho.
3 produkter
3 produkter
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
Häftad, Engelska, 2020
929 kr
Skickas inom 10-15 vardagar
- Nyhet
Formal Methods Teaching
7th Formal Methods Teaching Workshop, FMTea 2026, Tokyo, Japan, May 19, 2026, Proceedings
Häftad, Engelska, 2026
699 kr
Skickas inom 10-15 vardagar
349 kr
Skickas inom 5-8 vardagar