Yazar
shusaku iida
1 cilt bulundu.
Cilt sonuçları
Specification, Algebra, and Software
Shusaku Iida, José Meseguer, Kazuhiro Ogata · Springer London, Limited
668 sayfa · 2014
Software engineering / Computer science / Logic design / Logics and Meanings of Programs / Mathematical Logic and Formal Languages