Formal Methods Teaching
7th Formal Methods Teaching Workshop, FMTea 2026, Tokyo, Japan, May 19, 2026, Proceedings
Автор:
Gustavo Carvalho, Tsutomu Kobayashi
Наличност:
Външен склад в ограничено количество
Изпращаме след 13-18 дни
59.31
€
115.99 лв
This book constitutes the refereed proceedings of the 7th International Workshop on Formal Methods T...
