Grover, Russell J.
概要
| 作品: | 3 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
An exploration of formal methods and tools applied to a small satellite software system.
by:
Grover, Russell J.; Utah State University., Electrical and Computer.
(書目-語言資料,印刷品)