購物比價找書網找車網
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折
好種易活!盆栽種菜全圖解:無農藥、安心吃!全年栽種時程表X 55種蔬菜培育祕訣,新手也能四季都豐收
作者:OZAKI FLOWER PARK
出版社:蘋果屋出版社
出版日期:2024-03-07
66折: $ 329 
金石堂 - 今日66折
詭祕客Crimystery2024
66折: $ 264 
金石堂 - 今日66折
情緒修復藥草聖經:從飲用、泡澡到塗抹,在家做出101種解決情緒障礙與身體病痛的天然配方
作者:蒂娜.薩姆斯
出版社:蘋果屋出版社
出版日期:2021-11-04
66折: $ 329 
金石堂 - 今日66折
颶光典籍首部曲王者之路上下冊套書
66折: $ 659 
 
博客來 - 暢銷排行榜
失控的焦慮世代:手機餵養的世代,如何面對心理疾病的瘟疫
作者:強納森.海德特 (Jonathan Haidt)
出版社:網路與書出版
出版日期:2024-11-29
$ 360 
博客來 - 暢銷排行榜
世界上最透明的故事(日本出版界話題作,只有紙本書可以體驗的感動)
作者:杉井光
出版社:皇冠
出版日期:2024-09-30
$ 284 
博客來 - 暢銷排行榜
權證小哥短線終極戰法:4大策略 ✖ 6種工具 ✖ 68個實戰案例,手把手教你賺
作者:權證小哥
出版社:金尉
出版日期:2025-03-20
$ 379 
Taaze 讀冊生活 - 暢銷排行榜
底層邏輯:看清這個世界的底牌
作者:劉潤
出版社:時報文化出版企業股份有限公司
出版日期:2022-03-29
$ 316 
 
Taaze 讀冊生活 - 新書排行榜
酸種麵包原來如此:從零開始~祖祖的自養酵母烘焙筆記
作者:唐子浩
出版社:麥浩斯
出版日期:2025-04-03
$ 406 
博客來 - 新書排行榜
撒哈拉幸福伴侶 1 (首刷限定版)
出版日期:2025-04-01
$ 162 
金石堂 - 新書排行榜
Beta的暗戀2
作者:UL
出版社:平心出版(欣燦連)
出版日期:2025-04-10
$ 277 
金石堂 - 新書排行榜
留意小笨狗!(7)
作者:とりよし
出版社:台灣角川股份有限公司
出版日期:2025-04-10
$ 111 
 

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