A COMPARISON OF LIBRARY TOOLS FOR MONOGRAPH VERIFICATION

被引：0
|
作者：
GROOT, EH
机构：
来源：
LIBRARY RESOURCES & TECHNICAL SERVICES | 1981年 / 25卷 / 02期
关键词：
D O I：
暂无
中图分类号：
G25 [图书馆学、图书馆事业]; G35 [情报学、情报工作];
学科分类号：
1205 ; 120501 ;
摘要：
引用
收藏
页码：149 / 161
页数：13
相关论文
共 50 条
  • [21] SOFTWARE TOOLS AND THEIR VERIFICATION BY EXPERIMENTS
    OSTERMEYER, GP
    [J]. VEHICLE SYSTEM DYNAMICS, 1993, 22 (3-4) : 123 - 139
  • [22] Verification tools for transactional programs
    Cristal, Adrian
    Ozkan, Burcu Kulahcioglu
    Cohen, Ernie
    Kuru, Ismail
    Unsal, Osman
    Tasiran, Serdar
    Mutluergil, Suha Orhun
    Elmas, Tayfun
    [J]. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2015, 8913 : 283 - 306
  • [23] Merger debuts with verification tools
    Moretti, G
    [J]. EDN, 2001, 46 (14) : 22 - 22
  • [24] Verification of Model Processing Tools
    Sampath, Prahladavaradan
    Rajeev, A. C.
    Shashidhar, K. C.
    Ramesh, S.
    [J]. SAE INTERNATIONAL JOURNAL OF PASSENGER CARS-ELECTRONIC AND ELECTRICAL SYSTEMS, 2009, 1 (01): : 45 - 52
  • [25] Trust and Automation in Verification Tools
    Shankar, Natarajan
    [J]. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2008, 5311 : 4 - 17
  • [26] Library performance indicators and library management tools.
    Wilson, T
    [J]. JOURNAL OF LIBRARIANSHIP AND INFORMATION SCIENCE, 1998, 30 (02) : 143 - 145
  • [27] Library computers: Tools or toys?
    White, HS
    [J]. LIBRARY JOURNAL, 1998, 123 (19) : 40 - 41
  • [28] Computational tools for library design
    Pozzan, A
    [J]. SEMINARS IN ORGANIC SYNTHESIS, 1998, : 251 - 272
  • [29] RESEARCH TOOLS - LIBRARY RESOURCES
    PIERSTORFF, LR
    [J]. REVIEW OF EDUCATIONAL RESEARCH, 1957, 27 (05) : 471 - 475
  • [30] C program verification: Verification condition explanation and standard library
    Promsky A.V.
    [J]. Automatic Control and Computer Sciences, 2012, 46 (7) : 394 - 401
12345