Full-Text Search:
Home|About CNKI|User Service|中文
Add to Favorite Get Latest Update

INTRODUCTION TO THE VEKIFICATION OF CORRECTINESS OF PASCAL PROGRAMME

ZhangSen(Department of Matbematics,Yunnan Normal University)  
On the basis of[1],these rules to verily WHILE sentencese has been demonstrated bydiagrams;We have derived these rulcs to verily REPEAT sentencese from those for WHILEsentencese We also show the application of those rules through an example.
Download(CAJ format) Download(PDF format)
CAJViewer7.0 supports all the CNKI file formats; AdobeReader only supports the PDF format.
©CNKI All Rights Reserved