-
RecordNumber
56144
-
Author
Apt, Krzysztof R, 1949-
-
Title
Vertification of sequential and concurrent programs
-
Author Statement
Krzysztof R. Apt, Ernst , Rudiger Olderog
-
Publication
Springer
-
Publication Year
[c 1991]
-
Collation
xvi, 441 p
-
Series
Text and monographs in computer seience
-
Subject
Computer software- Vertification
-
ADDED ENTRIES
Olderog, E. R
-
Main Class
005
-
Sub Class
.14
-
Cutter no
A655v
-
وارد كنندة اطلاعات
khorasani 0512^d//
-
Link To Document :
