中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-4 of 4)

Items/Page:    Sort:
Parallel computation of Janet and Gröbner bases over rational numbers [期刊论文]
Programming and Computer Software, 2005-01-01, 卷号: 31, 期号: 2, 页码: 73-80
V. P. Gerdt; D. A. Yanovich
  |  
 
Formal specification and refinement of a safe train control function [专著章节/文集论文]
出自: Formal methods for embedded distributed systems: how to master the complexity, Norwell, MA, USA:Kluwer Academic Publishers, 2004-01-01
V. Winter; D. Kapur; G. Fuehrer
  |  
 
The design structure system - A method for managing the design of complex systems [期刊论文]
IEEE Transactions on Engineering Management, 1981-01-01, 卷号: EM-28, 期号: 3, 页码: 71-74
STEWARD; D V
  |  
 
Computability and completeness in logics of programs (Preliminary Report) [其他]
1977-01-01
D. Harel; A. R. Meyer; V. R. Pratt
  |  
 

1

 

Valid XHTML 1.0!
Copyright © 2007-2020  中国科学院软件研究所 - Feedback
Powered by CSpace