检索词: Tiziana Margaria , 检索到: 5 条结果, 检索时间: 0.047 秒 , 排序选项: 排序方式: 隐藏分类导航 | 隐藏趋势图

分类导航

T 工业技术 (5)

Q 生物科学 (1)

您是不是想检索:

Tiziana Margaria,Wang Yi Tiziana Margaria,Tom Melham Allan, Margaret Gaan, Margaret Millan, Ana Maria. Nicholas, Margaret Rajay Bagaria

保存至书单:

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

	1.	封面仅供参考	工业关键系统的形式化方法订购中 (含光盘) 著者: (意) Stefania Gnesi (意) Tiziana Margaria著出版社: 机械工业出版社出版日期: 2015-01-01 00:00:00 文献类型: 图书 , 索书号: 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	2.	封面仅供参考	Correct hardware design and verification methods: 11th IFIP WG 10.5 advanced research working conference,CHARME 2001,Livingston,Scotland,UK,September 4-7,2001;proceedings 订购中 (含光盘) 著者: Tiziana Margaria Tom Melham 出版社: Springer 出版日期: 2001 文献类型: 图书 , 索书号: TP303-53/CHA-11 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	3.	封面仅供参考	Tools and algorithms for the construction and analysis of systems: 7th international conference,TACAS 2001,Held as Part of the Joint European Confereces on Theory and Practice of Software,ETAPS 2001,Genova,Italy,April 2-6,2001;proceedings 订购中 (含光盘) 著者: Tiziana Margaria Wang Yi 出版社: Springer 出版日期: 2001 文献类型: 图书 , 索书号: 73.965083/TAC-7 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	4.	封面仅供参考	工业关键系统的形式化方法：应用综述订购中 (含光盘) 著者: 涅西马尔加里亚出版社: 机械工业出版社出版日期: 2015 文献类型: 图书 , 索书号: TP273/406 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	5.	封面仅供参考	Fundamental approaches to software engineering : 7th international conference, FASE 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 / 订购中 (含光盘) 著者: Wermelinger Michel Margaria-Steffen Tiziana 出版社: Springer, 出版日期: 2004. 文献类型: 图书 , 索书号: TP311.5-53/FAS-7 在馆信息图书信息概览图书目录试读信息内容简介著者简介

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

© 2005－ www.interlib.com.cn, all rights reserved