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