Computer-aided verification
Kurshan, Robert, author
Edition 1
079239285x
list
شناسنامه
Main Entry
Kurshan, Robert, author، نویسندهTitle and Author
Computer-aided verificationPublication Details
، n.dSubject
Computer software-VerificationElectronic digital computers - Evaluation
Language
انگلیسیRetrieval Number
Congress:
Cataloger
کانورتورEnglish.
" Reprinted from formal methods in system design, Vol. 1 Nos. 2-3".
Includes index.
" Reprinted from formal methods in system design, Vol. 1 Nos. 2-3".
Includes index.
