-
RecordNumber
76491
-
Title
Systems and software verification :model-checking techniques and tools
-
Author Statement
B. Bérard ... [et al.]
-
Publication
Springer
-
Publication Year
c2001
-
Collation
xii, 190 p. : ill
-
Bibliography
Bibliography:p. [179]- 182
-
Subject
Computer systems - Verification , Computer software - Verification
-
ADDED ENTRIES
Bérard, Béatrice
-
Main Class
005
-
Sub Class
.14
-
Cutter no
S995
-
وارد كنندة اطلاعات
rezvani^d2005/05/01 10:19:42
-
Link To Document :
