購物比價找書網找車網
FindBook  
 有 1 項符合

NASA Formal Methods: 16th International Symposium, Nfm 2024, Moffett Field, Ca, Usa, June 4-6, 2024, Proceedings

的圖書
NASA Formal Methods: 16th International Symposium, Nfm 2024, Moffett Field, Ca, Usa, June 4-6, 2024, Proceedings NASA Formal Methods: 16th International Symposium, Nfm 2024, Moffett Field, Ca, Usa, June 4-6, 2024, Proceedings

作者:Gopinath 
出版社:Springer
出版日期:2024-05-28
語言:英文   規格:平裝 / 普通級/ 初版
圖書選購
型式價格供應商所屬目錄
 
$ 4799
博客來 博客來
應用軟體與開發工程
圖書介紹 - 資料來源:博客來   評分:
圖書名稱:NASA Formal Methods: 16th International Symposium, Nfm 2024, Moffett Field, Ca, Usa, June 4-6, 2024, Proceedings

內容簡介

This LNCS 14627 conference volume constitutes the proceedings of the 16th International Symposium on NASA Formal Methods, NFM 2024, held in Moffett Field, CA, USA in June 2024. The 20 full papers together with 6 short papers included in this volume were carefully reviewed and selected from 68 submissions.

The conference focuses on the on formal techniques for software and system assurance for applications in space, aviation, robotics, and other NASA-relevant safety-critical systems.

 

詳細資料

  • ISBN:9783031606977
  • 規格:平裝 / 普通級 / 初版
  • 出版地:美國
贊助商廣告
 
金石堂 - 今日66折
完全指南 地球編年史全系列(八冊)
66折: $ 2534 
金石堂 - 今日66折
人際互動繪本套書(品格教育繪本:太多胡蘿蔔了!+烏龜想要冬眠+我們一起來幫忙+生日派對最重要的?)
作者:凱蒂.哈德森
出版社:東雨文化
出版日期:2021-06-08
66折: $ 805 
博客來 - 今日66折
神奇柑仔店系列1~4(共四冊)
作者:廣嶋玲子
出版社:親子天下
出版日期:2019-07-02
66折: $ 739 
 
博客來 - 暢銷排行榜
童話裡的心理學
作者:鐘穎
出版社:楓樹林出版社
出版日期:2024-11-01
$ 331 
博客來 - 暢銷排行榜
尋找安全的家:結構技師蔡榮根教你選好宅
作者:蔡榮根
出版社:天下文化
出版日期:2024-10-30
$ 355 
博客來 - 暢銷排行榜
長期買進:財金教授周冠男的42堂自制力投資課
作者:周冠男
出版社:天下文化
出版日期:2024-07-31
$ 355 
博客來 - 暢銷排行榜
素食者【亞洲首部榮獲國際曼布克獎作品】
作者:韓江 (한강)
出版社:漫遊者文化
出版日期:2023-05-08
$ 300 
 
Taaze 讀冊生活 - 新書排行榜
紀實千古回聲-三毛的三百七十五把鑰匙
作者:眭澔平
出版社:暖暖書屋文化
出版日期:2024-10-23
$ 430 
Taaze 讀冊生活 - 新書排行榜
【京都三部曲】(千年繁華+喜樂京都+京都思路:壽岳章子X澤田重隆攜手經典作,在台發行22周年金典珍藏)
作者:壽岳章子
出版社:馬可孛羅
出版日期:2024-11-09
$ 826 
Taaze 讀冊生活 - 新書排行榜
開箱工程師腦洞大開的日常:提早練功打底、把技能樹升級,讓科技業大廠都搶著要你
作者:艾斯
出版社:商周出版
出版日期:2024-11-07
$ 320 
金石堂 - 新書排行榜
把日子慢慢變好
作者:黃山料
出版社:三采文化股份有限公司
出版日期:2024-11-01
$ 332 
 

©2024 FindBook.com.tw -  購物比價  找書網  找車網  服務條款  隱私權政策