查詢 sb:"Barcelona (2004)" ,共 2 筆
查詢再細分
-
- 出版年
- 2004(2)
-
- 語言
- 英語(2)
-
- 作者
- Jensen, K.(1)
- Podelski, Andreas.(1)
- Walukiewicz, Igor.(1)
-
- 資料類型
- 電子書(2)
-
61 0 0 0 0
Foundations of software science and computation structures :7th international conference, FOSSACS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings
- 作者: Walukiewicz, Igor.
- 出版: Berlin ;New York : Springer 2004.
- 資料類型: 電子書
-
8 0 0 0 0
Tools and algorithms for the construction and analysis of systems :10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings
- 作者: Jensen, K.
- 出版: Berlin ;New York : Springer-Verlag 2004.
- 資料類型: 電子書