海外直訂Formal Properties of Finite Automata and Applications: Litp Spring School on The 有限自動(dòng)機(jī)的形式性質(zhì)及其應(yīng)
海外直訂Semantics of Systems of Concurrent Processes: Litp Spring School on Theoretical 并發(fā)過(guò)程系統(tǒng)的語(yǔ)義學(xué)：Litp
