An exploration of formal methods and...
Grover, Russell J.

FindBook      Google Book      Amazon      博客來     
  • An exploration of formal methods and tools applied to a small satellite software system.
  • 紀錄類型: 書目-語言資料,印刷品 : Monograph/item
    正題名/作者: An exploration of formal methods and tools applied to a small satellite software system./
    作者: Grover, Russell J.
    面頁冊數: 134 p.
    附註: Source: Masters Abstracts International, Volume: 49-01, page: 0561.
    Contained By: Masters Abstracts International49-01.
    標題: Engineering, Computer. -
    電子資源: http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=1480477
    ISBN: 9781124188164
館藏地:  出版年:  卷號: 
館藏
  • 1 筆 • 頁數 1 •
  • 1 筆 • 頁數 1 •
多媒體
評論
Export
取書館
 
 
變更密碼
登入