机译: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中的组成级细化
机译:通信交易计算:使用距离分解,嵌套迭代和自适应网格细化的PDE并行解决方案的低通信算法
机译:煤氮同位素分析的一种改进使用元素分析仪/同位素比质谱法和碳进口煤的氮和氮同位素组成
机译:Z和Object-Z的改进:基础和高级应用程序(第二修订版)