书名：Formal ontology and information system

上传：northamn

时间：2009-09-28 15:59:34

描述：Formal ontology and information system

书名：Formal Software Development: From VDM to Java (PDF 英文版)

上传：fGYQkPDl

时间：2009-01-27 16:58:33

描述：Formal Software Development: From VDM to Java (PDF 英文版) by Quentin Charatan, Aaron Kans Paperback: 400 pages Publi ...

书名：Formal Modeling and Analysis of Timed Systems: FORMATS 2008 (PDF英文版)

上传：鱼和流氓

时间：2009-01-26 11:39:37

描述：Formal Modeling and Analysis of Timed Systems: FORMATS 2008 (PDF英文版) Formal Modeling and Analysis of Timed Systems: ...

书名：Formal Modeling and Analysis of Timed Systems: FORMATS 2008 (PDF英文版)

上传：鱼和流氓

时间：2009-01-26 11:39:37

描述：Formal Modeling and Analysis of Timed Systems: FORMATS 2008 (PDF英文版) Formal Modeling and Analysis of Timed Systems: ...

书名：Formal Modeling and Analysis of Timed Systems: FORMATS 2008 (PDF英文版)

上传：鱼和流氓

时间：2009-01-26 11:39:37

描述：Formal Modeling and Analysis of Timed Systems: FORMATS 2008 (PDF英文版) Formal Modeling and Analysis of Timed Systems: ...