Computing Laboratory, University of Kent, Canterbury, CT2 7NF, UK;
Object-Z; refinement; action refinement; object structure;
机译:Z和Object-Z的改进:基础和高级应用程序(第二版)
机译:Z和object-Z的改进:基础和高级应用程序。约翰·德里克(John Derrick)和艾尔克·伯恩(Eerke Boiten)。由Springer-Verlag出版,德国柏林,计算机和信息技术正式方法系列,2001年。ISBN:1-85233-245-X,466页。价格:49.50英镑,79.95美元,德国159.90马克,软封面。
机译:并发系统的规范,细化和验证-Object-Z和CSP的集成
机译:Object-Z中的组成级细化
机译:实时Object-Z的类型检查器
机译:基于RGBD数据的对象姿势估计的迭代姿态细化
机译:Z和Object-Z的改进:基础和高级应用程序(第二修订版)