購物比價找書網找車網
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 / 普通級 / 初版
贊助商廣告
 
 
博客來 - 暢銷排行榜
蛤蟆先生去看心理師(暢銷300萬冊!英國心理諮商經典,附《蛤蟆先生勇氣藏書卡》組)
作者:羅伯.狄保德 (Robert de Board)
出版社:三采
出版日期:2022-01-26
$ 316 
Taaze 讀冊生活 - 暢銷排行榜
寶可夢 伽勒爾圖鑑(全)
作者:構成:川島潤二(十八VAN PLANNING) 設計:はやしだこーじ(CORNFLAKES)
出版社:青文出版社股份有限公司
出版日期:2025-01-13
$ 351 
Taaze 讀冊生活 - 暢銷排行榜
你的信任,是孩子最強大的底氣:神老師的客製化教養,打造「以孩子為中心」的正向思維!
作者:神老師&神媽咪(沈雅琪)
出版社:皇冠文化出版有限公司
出版日期:2025-04-25
$ 277 
金石堂 - 暢銷排行榜
無法傳達給你(8)
作者:みか
出版社:台灣角川股份有限公司
出版日期:2025-05-15
$ 111 
 
博客來 - 新書排行榜
未來的真正結局 全 (特裝版)
$ 161 
金石堂 - 新書排行榜
失戀一夜情 這個男人既狡猾又甜蜜。(全)
作者:加森キキ
出版社:青文出版社股份有限公司
出版日期:2025-05-22
$ 111 
Taaze 讀冊生活 - 新書排行榜
〈TENY〉Tiny十週年特別版紀念寫真
作者:Tiny 、 曖維多媒體廣告行銷股份有限公司、邱大皮 Big Pi
出版社:曖維多媒體廣告行銷股份有限公司
出版日期:2025-05-01
$ 1999 
博客來 - 新書排行榜
Smoky Nectar—繚繞的蜜液—Renew(全)
出版日期:2025-05-16
$ 119 
 

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