2018.4.29

method Swap(a:array?
   
    ,i:int,j:int) modifies a; requires a!=null; requires 1<=i
    
     
       a[m] == old(a[m]); ensures multiset(a[..]) == old(multiset(a[..]));{
    a[i], a[j]:=a[j],a[i];}

在这里插入图片描述

转载地址：http://blwai.baihongyu.com/

你可能感兴趣的文章

我不想安于当前的限度，以达到所谓的幸福，回顾下2020年的我

查看>>

如何在面试中介绍自己的项目经验（面向java改进版）

查看>>

通过写n本书的积累，我似乎找到了写好技术文章的方法（回复送我写的python股票电子书）

查看>>

如果很好说出finalize用法，面试官会认为你很资深

查看>>

Java面试官经验谈：如何甄别候选人真实的能力，候选人如何展示值钱技能

查看>>

分析若干没面试机会和没体现实力的简历

查看>>

用python的matplotlib和numpy库绘制股票K线均线

查看>>

以互联网公司的经验告诉大家，架构师究竟比高级开发厉害在哪？

查看>>

GanttProject 使用的控件第三方包:jdnc-modifBen.jar

去掉Windows Messager的自动登录

debian的gnome下的xmms乱码解决方案

查看>>

python切片操作

查看>>

python 中的split()函数和os.path.split()函数

查看>>

python 矩阵转置

查看>>