Tsutomu Kobayashi – författare
Visar alla böcker från författaren Tsutomu Kobayashi. Handla med fri frakt och snabb leverans.
2 produkter
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 …
