检索词: Pamela Zave , 检索到: 1 条结果, 检索时间: 0.029 秒 , 排序选项: 排序方式: 隐藏分类导航

分类导航

T 工业技术 (1)

您是不是想检索:

Pamela Pope Pamela Gay. Pamela Haag Pamela Paul Pamela Levin Pamela Meyer Pamela N. Pamela Heyne. Pamela Howard Pamela Powell

保存至书单:

共 1 页首页 <上一页 1 下一页> 尾页>>

1.

FME 2001: formal methods for increasing software productivity,International Symposium of Formal Methods Europe,Berlin,Germany,March 12-16,2001:proceedings

著者: Jose Nuno Oliveira Pamela Zave

出版社: Springer 出版日期: 2001

文献类型:

图书 , 索书号: TP311.5-53/FME

在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介

共 1 页首页 <上一页 1 下一页> 尾页>>

© 2005－ www.interlib.com.cn, all rights reserved null 关于联系我们帮助