Foundations of software science and computation structures - Preface for the Special Issue

被引：0
|
作者：
Gordon, AD [1 ]
机构：
[1] Microsoft Res, Cambridge CB3 0FB, England
来源：
THEORETICAL COMPUTER SCIENCE | 2005年 / 333卷 / 1-2期
关键词：
D O I：
10.1016/j.tcs.2004.11.001
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：1 / 1
页数：1
相关论文
共 50 条
  • [21] Special issue: Foundations of quantum theory - Preface
    Horzela, A
    Kapuscik, E
    Man'ko, VI
    JOURNAL OF PHYSICS A-MATHEMATICAL AND GENERAL, 2002, 35 (40):
  • [22] SPECIAL ISSUE ON FOUNDATIONS OF STATISTICS AND PROBABILITY - PREFACE
    HINKELMANN, K
    JOURNAL OF STATISTICAL PLANNING AND INFERENCE, 1990, 25 (03) : 209 - 210
  • [23] PREFACE TO THE SPECIAL ISSUE ON SOFTWARE ENGINEERING
    Bubak, Marian
    Malawski, Maciej
    Slota, Renata G.
    COMPUTING AND INFORMATICS, 2021, 40 (04) : 729 - 733
  • [24] Preface to Special Issue on Software Verification
    Hoare, C. A. R.
    Misra, Jayadev
    ACM COMPUTING SURVEYS, 2009, 41 (04)
  • [25] SPECIAL ISSUE - PAPERS SELECTED FROM INTERNATIONAL-CONFERENCE ON FOUNDATIONS OF COMPUTATION THEORY - PREFACE
    KARPINSKI, M
    VANLEEUWEN, J
    INFORMATION AND CONTROL, 1985, 64 (1-3): : 1 - 1
  • [26] Preface to the special issue on Formal Methods: Foundations and Applications Preface
    Massoni, Tiago
    Mousavi, Mohammad
    SCIENCE OF COMPUTER PROGRAMMING, 2021, 205
  • [27] Introduction to the special issue on foundations of software engineering
    Monden, Akito
    Ito, Kei
    Kamiya, Toshihiro
    Aman, Hirohisa
    Hanakawa, Noriko
    Sawada, Atsushi
    Sugiyama, Yasuhiro
    Washizaki, Hironori
    Computer Software, 2019, 36 (04):
  • [28] Introduction to the Special Issue on Foundations of Software Engineering
    Sawada, Atsushi
    Tsunoda, Masateru
    Matsumoto, Shinsuke
    Aman, Hirohisa
    Monden, Akito
    Hanakawa, Noriko
    Takada, Shingo
    Computer Software, 2023, 40 (04)
  • [29] Introduction to the Special Issue on Foundations of Software Engineering
    Monden, Akito
    Morisaki, Shuji
    Ohira, Masao
    Aman, Hirohisa
    Sawada, Atsushi
    Sugiyama, Yasuhiro
    Takada, Shingo
    Hanakawa, Noriko
    Washizaki, Hironori
    Computer Software, 2020, 37 (04)
  • [30] Special issue: Image computation and education - Preface
    Bowyer, K
    Stark, L
    Stockman, G
    INTERNATIONAL JOURNAL OF PATTERN RECOGNITION AND ARTIFICIAL INTELLIGENCE, 1998, 12 (08) : 1033 - 1034
12345