“rely-guarantee method”的概念、定义、翻译、参考文献-科学参考

单词	rely-guarantee method
释义	rely-guarantee method Encyclopedia 理学程序验证释 rely-guarantee method依赖-保证方法一种支持对并发程序的可组合验证的并发程序验证方法。是对霍尔逻辑的扩充，最早由C.琼斯[注]（Cliff Jones）于1981年在其博士学位论文中提出。
随便看	Regulations on Land Requisition Compensation and Resettlement of Migrants for Large and Medium Water Conservation and Power Construction Projects Regulations on Land Survey Regulationson License for Water Drawing and Levy and Administration of Water Resource Fees Regulations on Management of Fisheries Resources of Yangtze River Regulations on Management of River Course of the People’s Republic of China Regulations on Management of Urban Underground Space for Tianjin regulations on maritime trade regulations on medical service for impoverished patients Regulations on Medical Waste Management Regulations on Movable Type Printing Adopted at the Hall of Martial Valor regulations on national economic census Regulations on National General Survey of Pollution Sources Regulations on Newspapers and Periodicals regulations on payment of wages Regulations on Personnel Management of China's Public Institutions Regulations on Practicing Economy and Opposing Waste in Party and Government Organs Regulations on Preventing Collisions at Operation of Fishing Vessels Regulations on Prevention and Control of Forest Diseases and Pests Regulations on Prevention and Control of Livestock and Poultry Scale Aquaculture Pollution Regulations on Protection of Aquatic Resources Reproduction Regulations on Protection of Meteorological Facilities and Meteorological Observation Environment Regulations on Public Cultural and Sports Facilities Regulations on public cultural and sports facilities Regulations on Publishing Market Regulations on Railway Safety Management

科学参考收录了854744条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。