The symbolic execution of software : the SYM-BOL system

著者

David Coward and Darrel Ince

（Computer science: research and practice, 2）

Chapman & Hall, 1995

Includes bibliographical references (p. [147]-151) and index

NII書誌ID(NCID)
BA26846040
ISBN
- 0412583402
出版国コード
uk
タイトル言語コード
eng
本文言語コード
eng
出版地
London ; Tokyo
ページ数/冊数
vi, 155 p.
大きさ
24 cm
分類
- DC20 : 005.14
件名
- LCSH : Computer programs -- Testing
- LCSH : Computer programs -- Testing -- Case studies
- LCSH : COBOL (Computer program language)
- LCSH : Computer software -- Quality control
親書誌ID
- BA20038349