Author Results for Woodcock G.

(Peter Gorm),
(美)伍德科克(Woodcock,G.)著
International Symposium of Formal Methods Europe,Odense)
Larsen,P. G.
SpringerLink (Online service)
see all »
Woodcock,Jim C. P.

1
空间站和空间平台

Cover is for reference only
Main Authors: 伍德科克 戈登 ((美)伍德科克(Woodcock,G.)著); Woodcock G.
Group Author: 褚桂柏 (译)
Published: 中国科学技术出版社
Publication Dates: 1990
Call Number: V476.1/2222
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —