Yazar
t takenaka
2 cilt bulundu.
Cilt sonuçları
RACCO: a Modal-logic Programming Language for Writing Models of Real-time Process-control Systems: Toward Computer-aided Generation of Realtime System Software
Kyōto Daigaku. Research Institute for Mathematical Sciences, T. Hattori, R. Nakajima, T. Sakurgawa, N. Niide, K. Takenaka · Yayınevi bilinmiyor
Sayfa sayısı yok · 1986
Kategori yok
