查詢 au:Kozen, Dexter, ，共 2 筆
查詢再細分
-
- 語言
- 英語(2)
-
- 作者
- Kozen, Dexter,(2)
- Harel, David,(1)
- Tiuryn, Jerzy.(1)
-
- 資料類型
- 電子書(2)
-
8 0 0 0 0
Mathematics of program construction :7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings
- 作者: Kozen, Dexter,
- 出版: Berlin ;New York : Springer ©2004.
- 資料類型: 電子書
-
