CASL - Reference Manual - Introduction

被引：0
|
作者：
不详
机构：
来源：
CASL REFERENCE MANUAL: THE COMPLETE DOCUMENTATION OF THE COMMON ALGEBRAIC SPECIFICATION LANGUAGE | 2004年 / 2960卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：115 / +
页数：153
相关论文
共 50 条
  • [1] CASL - Reference Manual - Introduction
    不详
    CASL REFERENCE MANUAL: THE COMPLETE DOCUMENTATION OF THE COMMON ALGEBRAIC SPECIFICATION LANGUAGE, 2004, 2960 : 3 - 69
  • [2] CASL - Reference Manual - Introduction
    不详
    CASL REFERENCE MANUAL: THE COMPLETE DOCUMENTATION OF THE COMMON ALGEBRAIC SPECIFICATION LANGUAGE, 2004, 2960 : 363 - +
  • [3] CASL - Reference Manual - Introduction
    不详
    CASL REFERENCE MANUAL: THE COMPLETE DOCUMENTATION OF THE COMMON ALGEBRAIC SPECIFICATION LANGUAGE, 2004, 2960 : 73 - +
  • [4] CASL - Reference Manual - Introduction
    不详
    CASL REFERENCE MANUAL: THE COMPLETE DOCUMENTATION OF THE COMMON ALGEBRAIC SPECIFICATION LANGUAGE, 2004, 2960 : 275 - +
  • [5] CASL user manual - Introduction to using the common algebraic specification language - Introduction
    Mossakowski, T
    Sannella, D
    Tarlecki, A
    CASL USER MANUAL, 2004, 2900 : 3 - +
  • [6] CompOSE reference manual
    Typel, S.
    Oertel, M.
    Klahn, T.
    Chatterjee, D.
    Dexheimer, V
    Ishizuka, C.
    Mancini, M.
    Novak, J.
    Pais, H.
    Providencia, C.
    Raduta, Ad R.
    Servillat, M.
    Tolos, L.
    EUROPEAN PHYSICAL JOURNAL A, 2022, 58 (11):
  • [7] Manual for the reference librarian
    Ochandarena Mestre, Roberto Joel
    Santovenia Diaz, Javier Ramon
    BIBLIOTECAS-ANALES DE INVESTIGACION, 2016, 12 (02): : 289 - 290
  • [8] CompOSE Reference Manual
    Typel, Stefan
    Oertel, M.
    Klähn, T.
    Chatterjee, D.
    Dexheimer, V.
    Ishizuka, C.
    Mancini, M.
    Novak, J.
    Pais, H.
    Providencia, C.
    Raduta, A.
    Servillat, M.
    Tolos, L.
    arXiv, 2022,
  • [9] FEDERAL REFERENCE MANUAL
    Shriver, Harry C.
    LAW LIBRARY JOURNAL, 1939, 32 (03): : 149 - 150
  • [10] MODCAP REFERENCE MANUAL
    WELLS, MB
    HUG, MA
    SILVER, R
    BROCKMEYER, J
    SIGPLAN NOTICES, 1984, 19 (12): : 61 - 79
12345