Logic design
概要
作品: | 21 作品在 4 項出版品 4 種語言 |
---|
書目資訊
Concurrency Theory /Calculi and Automata for Modelling Untimed and Timed Concurrent Systems /
by:
(書目-電子資源)
Verification of Object-Oriented Software. The KeY Approach :Foreword by K. Rustan M. Leino /
by:
(書目-電子資源)
Developments in language theory23rd International Conference, DLT 2019, Warsaw, Poland, August 5-9, 2019 : proceedings /
by:
(書目-電子資源)
更多
較少的
主題