-
RecordNumber
14865
-
Title
Formal methods for trustworthy computer systems 9FM 89)
-
Author Statement
Dan Craigen , Karen Summerskill (ed)
-
Publication
Springer
-
Publication Year
c1990
-
Collation
248p.: tables
-
Series
Workshops in computing
-
Notes
Report from FM 89: A work shop on the assment of formal methods for trnstworthy computer systems, 1989
-
Bibliography
Bibliography:P. 237- 243
-
Subject
Computer software- Validation , Computer software- verification , Computer software- Testing
-
ADDED ENTRIES
Craigen, Dan, 1953- ed
-
Main Class
005
-
Sub Class
.14
-
Cutter no
F723
-
وارد كنندة اطلاعات
Rezvany 0604^d//
-
Link To Document :
