查詢 Logics AND Meanings of Programs. ，共 3 筆
查詢再細分
-
- 出版年
- 2004(3)
-
- 語言
- 英語(3)
-
- 作者
- Boiten, Eerke,(1)
- Derrick, John,(1)
- Desel, Jrg.(1)
- Leite, João Alexandre.(1)
- Reisig, Wolfgang.(1)
- Rozenberg, Grzegorz.(1)
- Smith, Graeme,(1)
-
- 資料類型
- 電子書(3)
-
60 0 0 0 0Integrated Formal Methods :4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings
- 作者: Boiten, Eerke,
- 出版: Berlin ;Heidelberg : Springer-Verlag Berlin Heidelberg 2004.
- 資料類型: 電子書
-
11 0 0 0 0
Lectures on Concurrency and Petri Nets :Advances in Petri Nets
- 作者: Desel, Jrg.
- 出版: Berlin ;Heidelberg : Springer-Verlag Berlin Heidelberg 2004.
- 資料類型: 電子書
-
12 0 0 0 0
Declarative agent languages and technologies :first international workshop, DALT 2003, Melbourne, Australia, July 15, 2003, revised selected and invited papers
- 作者: Leite, João Alexandre.
- 出版: Berlin ;New York : Springer ©2004.
- 資料類型: 電子書