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

International Conference on Formal Engineering Methods 2002 Shanghai

的圖書
Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, Icfem 2002, Shanghai, China
$ 8450
Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, Icfem 2002, Shanghai, China
作者:International Conference on Formal Engineering Methods 2002 Shanghai/George 
出版社:Springer
出版日期:2002-10-09
語言:英文   規格:平裝 / 636頁 / 23.4 x 16.8 x 2.5 cm / 普通級/ 初版
博客來 博客來 - 計算機概論  - 來源網頁  
圖書介紹看圖書介紹
圖書介紹 - 資料來源:博客來   評分:
圖書名稱:Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, Icfem 2002, Shanghai, China

內容簡介

This volume contains the proceedings of the Fourth International Conference on Formal Engineering Methods: ICFEM 2002. The conference was held in Sha- hai, China, from 21 to 25 October 2002. Formal methods for software development have been extensively researched and their use in industry is increasing. Recent applications to the development of safety-critical, security-critical, and mission-critical systems have signi?cantly increased trustworthiness, without increasing overall development costs. ICFEM encourages the exchange of ideas on recent advances in formal methods and software engineering. The conference received 108 papers submitted from 24 di?erent countries and regions. A total of 43 regular and 16 short papers were accepted. All papers were reviewed by three or four members of the program committee or other reviewers. The conference would not have been possible without their voluntary and dedicated work. The conference had a number of excellent keynote speakers: Prof. Ralph- Johan Back of Abo Akademi University, Finland, Dr. Mark A. Hale of Inter woven Inc., USA, Dr. Richard J]ullig of CommerceNet Consortium, USA, Prof. Shaoying Liu of Hosei University, Japan, and Prof. Jim Woodcock of the University of Kent, UK. They provided a balanced view of advanced formal methods and software engineering from their research programs and experience.

 

詳細資料

  • ISBN:3540000291
  • 規格:平裝 / 636頁 / 23.4 x 16.8 x 2.5 cm / 普通級 / 初版
贊助商廣告
 
金石堂 - 今日66折
豐盛鍋飯:一鍋一餐,省時美味!輕鬆組合季節食材╳風味高湯,韓國人氣美食總監的日常私家菜
作者:金妍我
出版社:台灣廣廈有聲圖書有限公司
出版日期:2021-12-16
66折: $ 317 
金石堂 - 今日66折
阿吉的魔法紅球+阿吉的好勝直球【好球出擊】限量套書(共二冊,加贈阿吉「可愛記名」姓名貼)
作者:松丘光
出版社:小熊出版社
出版日期:2023-09-20
66折: $ 436 
金石堂 - 今日66折
貓咪減壓諮商室:貓專家會診!從貓視角檢視貓奴的問題行為,給養貓人的「不踩雷」環境x生活x相處說明書
作者:BEMYPET、Vet Kiyeok
出版社:蘋果屋出版社
出版日期:2023-10-05
66折: $ 297 
金石堂 - 今日66折
買對保險了嗎?:保險局外人幫你挖出埋在保單的地雷!把錢花在刀口上,讓你買對保險真正保障未來而不浪費一分血汗錢!
作者:何宗岳(股素人)
出版社:財經傳訊
出版日期:2022-06-01
66折: $ 329 
 
金石堂 - 暢銷排行榜
攻或受你選哪一邊? (首刷限定版)(全)
作者:名原しょうこ
出版社:東立出版社
出版日期:2025-03-26
$ 333 
Taaze 讀冊生活 - 暢銷排行榜
miffy潔膚柔濕巾-10抽(綠)
作者:新台
出版社:新台圖書
出版日期:2023-08-30
$ 15 
金石堂 - 暢銷排行榜
這瞬間,兩人不再只是朋友(2)
作者:なつきゆか
出版社:台灣角川股份有限公司
出版日期:2025-03-27
$ 111 
 
Taaze 讀冊生活 - 新書排行榜
玻璃王座(7):灰燼王國
作者:莎菈.J.瑪斯
出版社:尖端出版
出版日期:2025-03-27
$ 348 
金石堂 - 新書排行榜
蕾卡乃華麗且我的女王【黑條修正】
作者:ぐすたふ
出版社:未來數位有限公司
出版日期:2025-04-04
$ 300 
金石堂 - 新書排行榜
一起愛愛吧
作者:Saitom
出版社:暮想出版股份有限公司
出版日期:2025-03-20
$ 320 
金石堂 - 新書排行榜
攻或受你選哪一邊?(全)
作者:名原しょうこ
出版社:東立出版社
出版日期:2025-04-01
$ 143 
 

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