Blank Cover Image
所蔵情報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>
著者名:
Woods, John Lowe <DA09171793>  
ISBN:
9780835713443 [083571344X]
書誌ID:
BA0135440X
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

Lee, John A. N.

Van Nostrand Reinhold

Donovan, John J.

McGraw-Hill Kogakusha

Liskov, B., Guttag, John

MIT Press, McGraw-Hill

Donovan, John J.

McGraw-Hill

Lee, John A. N.

Reinhold Pub. Corp.

Eccles, W. J. (William John)

Addison-Wesley Pub. Co.

Guttag, John, Horning, J. J. (James J.)

Springer-Verlag

Royer, James S., 1952-, Case, John, 1942-

Birkhäuser

Aho, Alfred V., 1941-, Hopcroft, John E., 1939-, Ullman, Jeffrey D., 1942-

Addison-Wesley

Wegner, Peter

Griffin

Dyck, V. A., Lawson, J. D. (John Douglas), 1937-, Smith, J. A.

Reston Pub. Co.

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12