在“Elsevier电子期刊”中，命中：3条，耗时：小于0.01 秒

在所有数据库中总计命中：10条

1.Enabledness and termination in refinement algebra
刊名：Science of Computer Programming
出版年：2009
2.Preface: Volume 70, Issue 3
刊名：Electronic Notes in Theoretical Computer Science
出版年：2002
3.Contracts, Games, and Refinement
刊名：Information and Computation
出版年：2000
1
按检索点细分(3)
作者(3)
文摘(1)
按出版年细分(3)
2009年(1)
2002年(1)
2000年(1)
NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via email.