首页   按字顺浏览 期刊浏览 卷期浏览 返回    

Software Engineering Journal


ISSN: null        年代：1988
当前卷期：Volume 3  issue 1     [ 查看所有卷期 ]

年代：1988
 
     Volume 3  issue 1
     Volume 3  issue 2   
     Volume 3  issue 3   
     Volume 3  issue 4   
     Volume 3  issue 5   
     Volume 3  issue 6   
1. Theorem proving and software engineering
  Software Engineering Journal,   Volume  3,   Issue  1,   1988,   Page  2-2

C.B.Jones,  

Preview   |   PDF (105KB)
2. A survey of mechanical support for formal reasoning
  Software Engineering Journal,   Volume  3,   Issue  1,   1988,   Page  3-27

Peter A.Lindsay,  

Preview   |   PDF (2816KB)
首页 上一页 下一页 尾页 第1页 共2条