Formal Methods Teaching

7th Formal Methods Teaching Workshop, FMTea 2026, Tokyo, Japan, May 19, 2026, Proceedings


Lecture Notes in Computer Science
Engels
({{bookPageStaticData?.reviews.length ?? 0}} recensies)
Formal Methods Teaching, Gustavo Carvalho ; Tsutomu Kobayashi - Paperback - 9783032267429
Samenvatting
Lees Samenvatting Minder Samenvatting
Specificaties
Alle specificaties Minder specificaties
Categorieën
ALLE CATEGORIEËN MINDER CATEGORIEËN
Thema’s
Alle thema's Minder thema's
Recensies
{{bookPageStaticData?.averageRatingString}}
{{bookPageStaticData?.averageReviews}}
Nog geen recensies. Wees de eerste!
{{review.title}}
Lees meer Lees minder
{{review.createdOnString}} | {{review.alias}} | {{review.bindingDescription}}
Meer Recensies Toon Minder

Hostname: pro-mbooks3