語系:
繁體中文
English
說明(常見問題)
回圖書館首頁
手機版館藏查詢
登入
跳至 :
概要
書目資訊
主題
Z (Computer program language)
概要
作品:
2 作品在 2 項出版品 2 種語言
書目資訊
Refinement in Z and Object-Z = foundations and advanced applications /
by:
(書目-電子資源)
ABZ 2014 = the landing gear case study : Case study track, held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014 : proceedings /
by:
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Z (Computer program language)
Machine theory
Landing gear- Computer simulation
Logics and Meanings of Programs.
Computation by Abstract Devices.
Formal methods (Computer science)
B method (Computer science)
Computer Science.
Simulation and Modeling.
Object-oriented programming (Computer science)
處理中
...
變更密碼
登入