Probst, David Karl

ID:DA07449607

別名: David Karl Probst

D. K, Probst

同姓同名の著者を検索

検索結果2件中 1-2 を表示

1

Advances in hardware design and verification : IFIP TC10 WG10.5 International Conference on Correct Hardware and Verification Methods, 16-18 October 1997, Montreal Canada

edited by Hon F. Li and David K. Probst

Chapman & Hall on behalf of the International Federation for Information Processing (IFIP) 1997

所蔵館5館
2

Computer aided verification : Fourth International Workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings

G.v. Bochmann, D.K. Probst (eds.)

Springer-Verlag c1993 Lecture notes in computer science 663

: us , : gw

所蔵館61館

この著者を外部サイトでさがす

関連著者

ページトップへ