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//