登入選單
Google圖書搜尋
Some Very Large Compositional Temporal Properties
作者
B. Moszkowski
出版1993
ISBN
OCLC:897863863
A Hardware Semantics Based on Temporal Intervals
作者
International Business Machines Corporation. Research Division / Stanford University. Computer Science Dept / Joseph Halpern / Zohar Manna / Ben Moszkowski
出版1983
ISBN
OCLC:10957190
主題
Computers
On the Use of Very High Level Languages for the De...
作者
C. Lucena / C. Lauterbach / B. Moszkowski
出版1975
ISBN
OCLC:897750336