عنوان
پدید آورنده
موضوع
رده
QA 76 .76 .V47 .A67 1997
QA
76
.
76
.
V47
.
A67
1997
کتابخانه
محل استقرار
119761
زمستان۸۷
English
)91(
Apt, Krzysztof R.
1949-
Verification of sequential and concurrent programs
New York
Springer
1991
xvii, 364 p.; 24 cm
Graguate text in computer science
Includes bibliographical references and index
2nd ed
، Computer software-- Verification
QA
76
.
76
.
V47
.
A67
1997
AU
Krzysztof R. Apt, Ernst-Rudiger Olderof
AU .R-.E ,goredlO
TI
129
