-
RecordNumber
25297
-
Author
Francez, Nissim
-
Title
Program verification
-
Author Statement
Nissim Francez
-
Publication
Addison-Wesley
-
Publication Year
1992
-
Collation
Xi, 312P.,illus
-
Series
International computer science series
-
Notes
Bibibliography: P.295-303
-
Subject
Computer software - Verification
-
LC Class
QA
-
LC Number
76.76
-
LC CutterNumber
.V47F73
-
Link To Document :
