購物比價找書網找車網
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折
人際互動繪本套書(品格教育繪本:太多胡蘿蔔了!+烏龜想要冬眠+我們一起來幫忙+生日派對最重要的?)
作者:凱蒂.哈德森
出版社:東雨文化
出版日期:2021-06-08
66折: $ 805 
金石堂 - 今日66折
國家地理:世界琴酒地圖從原料、產地、製作程序到風味,最全面的終極琴酒指南
作者:喬爾.哈里森、尼爾.雷德利
出版社:大石國際文化
出版日期:2020-09-02
66折: $ 653 
金石堂 - 今日66折
周姚萍講新魔王故事2:奇奇時空機-配合108年國語文課綱「自發、互動、共好」的理念,設計在情境圖中
作者:周姚萍
出版社:五南圖書出版股份有限公司
出版日期:2019-02-28
66折: $ 198 
金石堂 - 今日66折
如何做一本書:書中的每個小地方都有存在的用意,了解書的架構,重新認識一本書
作者:丹尼斯.唐肯、亞當.史密斯
出版社:木馬文化事業有限公司
出版日期:2021-06-30
66折: $ 330 
 
金石堂 - 暢銷排行榜
百姓貴族 08
作者:荒川弘
出版社:東立出版社
出版日期:2024-10-25
$ 153 
博客來 - 暢銷排行榜
隱性潛能:華頓商學院最具影響力教授,突破天賦極限的實證科學【博客來獨家版.附人生領航指南書】
作者:亞當.格蘭特
出版社:平安文化
出版日期:2024-07-29
$ 379 
Taaze 讀冊生活 - 暢銷排行榜
經理人特刊—商業思考框架(熱銷再版)
出版社:巨思文化股份有限公司
出版日期:2024-05-16
$ 107 
金石堂 - 暢銷排行榜
去參加聯誼,卻發現完全沒有女生在場(06)
作者:蒼川なな
出版社:青文出版社股份有限公司
出版日期:2024-10-30
$ 111 
 
金石堂 - 新書排行榜
青梅竹馬是墮落聖女!(2)
作者:ショーソン
出版社:台灣角川股份有限公司
出版日期:2024-11-07
$ 111 
金石堂 - 新書排行榜
我愛NewJeans:扭轉Kpop的新聲代怪物女團
作者:Valerie
出版社:大風文創
出版日期:2024-11-07
$ 221 
博客來 - 新書排行榜
兄弟上場(限量蓋章版,加贈「兄弟上場」刺繡布章)
作者:周思齊
出版社:遠流
出版日期:2024-10-30
$ 355 
Taaze 讀冊生活 - 新書排行榜
2025【出題重點一書搞定】計算機概論(含網路概論)[第十六版](國民營事業/經濟部/台電/中油/中鋼/捷運/中華電信)
作者:蔡穎、茆政吉
出版社:千華數位文化股份有限公司
出版日期:2024-09-25
$ 594 
 

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