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

RecordNumber
43375
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
نام فايل
IUST eb-108 -- eb108d30
Link To Document :
http://dl.iust.ac.ir/dL/search/default.aspx?Term=43375&Field=0&DTC=2

Timothy R. Colburn