所蔵情報QRコード
Path selection for symbolic execution systems / by John Lowe Woods
- 資料種別:
- 図書
- 出版情報:
- Ann Arbor, Mich. : UMI Research Press, c1982
- 形態:
- viii, 108 p. ; 24 cm
- シリーズ名:
- Computer science ; Systems programming ; no. 12 <BA00374274>
- 著者名:
- ISBN:
- 9780835713443 [083571344X]
- 書誌ID:
- BA0135440X
類似資料:
Van Nostrand Reinhold | |
McGraw-Hill Kogakusha |
MIT Press, McGraw-Hill |
McGraw-Hill |
Reinhold Pub. Corp. |
Addison-Wesley Pub. Co. |
Springer-Verlag |
Addison-Wesley | |
Griffin |
Reston Pub. Co. |