語系:
繁體中文
English
說明(常見問題)
圖資館首頁
登入
跳至 :
概要
書目資訊
主題
B (Computer program language) - Congresses.
概要
作品:
4 作品在 0 項出版品 0 種語言
書目資訊
ZB 2005: Formal Specification and Development in Z and B4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings /
by:
(書目-電子資源)
ZB 2003formal specification and development in Z and B : third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003 : proceedings /
by:
(書目-電子資源)
ZB 2000formal specification and development in Z and B: first International Conference of B and Z Users, York, UK, August 29 - September 2, 2000 : proceedings /
by:
(書目-電子資源)
ZB 2002formal specification and development in Z and B : 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : proceedings /
by:
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Z (Computer program language)
Logics and Meanings of Programs.
B (Computer program language)
Computer Science.
處理中
...
變更密碼
登入