Program verification. Fundamental issues in computer scienc.vol 14.(studies in cognitive systems)

RecordNumber
416
Author
Timothy R. Colburn
Title
Program verification. Fundamental issues in computer scienc.vol 14.(studies in cognitive systems)
Publication
Kluwer Academic publishers
Publication Year
1993
Collation
451
ISBN
0792319656
Link To Document :
http://dl.iust.ac.ir/dL/search/default.aspx?Term=416&Field=0&DTC=11

Timothy R. Colburn