ntt_cs introduction my_first_big_computer architecture_studio ArchMaq LogoLab Lesson topics design projects arch_software design_computation thanks
from computing to design and back again and from formal methods to informal interfaces
and from formal methods to informal interfaces
from formal methods to informal interfaces
