-
RecordNumber
11283
-
Title
Computer- Aided verification
-
Editor
E. M. Clarke ¶ R. P. Kurshan editors
-
Publication
Springer
-
Publication Year
c 1991
-
Collation
ix, 372 p
-
Series
Lecture notes in computer science; 531
-
Bibliography
Includes bibliographies
-
Subject
Computer programs- Verification
-
ADDED ENTRIES
Clarke, E. M. ed , ^dSeries: Lecture notes in computer science; 531
-
Main Class
005
-
Sub Class
.14
-
Cutter no
C738
-
وارد كنندة اطلاعات
soltani^d//
-
Link To Document :
