Ichiro Hasuo

Ichiro Hasuo

2 ספרים במאגר

ספרים

Coalgebraic Methods in Computer ScienceIchiro Hasuo

Coalgebraic Methods in Computer Science

Ichiro Hasuo · 2016

Safety Assurance under UncertaintiesIchiro Hasuo

Safety Assurance under Uncertainties

Ichiro Hasuo · 2024