约束技术相关硕士博士期刊学术论文 - 搜论网

约束技术相关论文

基于约束技术的并发程序验证

随着多核处理器的高速发展,并发程序已经成为现代程序设计的主流趋势。然而并发程序的执行存在不确定性,这使得传统的测试方法很难......

学位

约束技术并发程序形式化验证抽象模型

知识、权力、伦理与个性解放——福柯哲学主旨探析

第一部分"破译知识密码",概述了从二十世纪六十年代初到七十年代初的十年中,福柯应用知识考古学方法,对文本、话语和知识进行考察......

学位

知识考古学系谱学约束技术个性解放福柯哲学

看过本文同时还关注