• 今日66折
  • 天天BUY
a to z
On the Construction of Engineering Handbooks: With an Illustration from the Railway Safety Domain

On the Construction of Engineering Handbooks: With an Illustration from the Railway Safety Domain

  • 定價:3000
  • 使用購物金最高可抵100詳情

分期價:(除不盡餘數於第一期收取) 分期說明

3期0利率每期10006期0利率每期500
  • 運送方式:
  • 臺灣與離島
  • 海外
  • 可配送點:台灣、蘭嶼、綠島、澎湖、金門、馬祖
  • 可取貨點:台灣、蘭嶼、綠島、澎湖、金門、馬祖
載入中...
  • 分享
 

作者簡介

Stefan Gruner is an Associate Professor of Computer Science at the University of Pretoria, Republic of South Africa. Together with Tom Maibaum, he co-supervised Apurva Kumar during her Master’s project, on the results of which some parts of this book are based. He has also collaborated with Markus Roggenbach for many years, particularly on questions concerning the formal semantics of CSP. At the University of Pretoria, Stefan Gruner lectures mostly theory based courses such as compiler construction or formal methods. With his additional qualification in philosophy, he is also active in interdisciplinary fields such as philosophy of science, philosophy of technology, and philosophy of informatics (meta informatics).

Apurva Kumar completed her Masters in Applied Science from McMaster University in 2015 under the supervision of Stefan Gruner and Tom Maibaum. Many of the findings in her Master’s thesis are incorporated in this book. Apurva Kumar is currently a security researcher on the Threat Intelligence team at Lookout Inc. She spends most of her time uncovering and tracking threats as they emerge in and around the mobile space. Her main focus is on exposing and defending against nation state surveillance campaigns. Apurva’s current work incorporates threat hunting, reverse engineering and penetration testing.

Tom Maibaum is an Emeritus Professor of the Foundations of Software Engineering in the Department of Computing and Software, McMaster University, Canada. He now lives in The United Kingdom. Previously, he held similarly named Chairs at King’s College London and Imperial College London. Throughout his career, his research has focused on the logical and categorical bases of software engineering and on the applications of these topics to software engineering methods. He has studied the philosophical and epistemological bases of engineering and, in particular, software engineering. Over the past 15 years he has worked with Mark Lawford and Alan Wassyng at McMaster University in the context of the McMaster Centre for Software Certification, developing new logical and epistemological foundations of safety reasoning.
Markus Roggenbach is a Professor of Computer Science at Swansea University, The United Kingdom. His research foci are formal methods for safety and for cyber security, their semantics, how to utilise them throughout the software life cycle, how to support them with tools, and their application in industrial contexts. For more than a decade, he has been collaborating with Siemens Rail Automation (formerly Invensys Rail) to answer questions concerning safety with regard to railway signalling systems. He leads the Swansea Railway Verification Group, the European Technical Working Group on Formal Methods in Railway Control, and chairs the International Federation for Information Processing (IFIP) Working Group 1.3 "Foundations of System Specification".

 

詳細資料

  • ISBN:9783030446475
  • 規格:平裝 / 普通級 / 初版
  • 出版地:美國

最近瀏覽商品

 

相關活動

  • 聽唱讀玩A to Z
 

購物說明

外文館商品版本:商品之書封,為出版社提供之樣本。實際出貨商品,以出版社所提供之現有版本為主。關於外文書裝訂、版本上的差異,請參考【外文書的小知識】。定價匯率為:美金乘以35,英磅乘以55。部份書籍,因出版社供應狀況特殊,匯率依實際狀況做調整。

調貨時間:無庫存之商品,在您完成訂單程序之後,將以空運的方式為您下單調貨。原則上約10~14個工作天可以取書(若有將延遲另行告知)。為了縮短等待的時間,建議您將外文書與其它商品分開下單,以獲得最快的取貨速度,但若是海外專案進口的外文商品,調貨時間約1~2個月。 

若您具有法人身份為常態性且大量購書者,或有特殊作業需求,建議您可洽詢「企業採購」。 

退換貨說明 

會員所購買的商品均享有到貨十天的猶豫期(含例假日)。退回之商品必須於猶豫期內寄回。 

辦理退換貨時,商品必須是全新狀態與完整包裝(請注意保持商品本體、配件、贈品、保證書、原廠包裝及所有附隨文件或資料的完整性,切勿缺漏任何配件或損毀原廠外盒)。退回商品無法回復原狀者,恐將影響退貨權益或需負擔部分費用。 

訂購本商品前請務必詳閱商品退換貨原則 

  • SOS
  • 春季
  • 議題

訂閱電子報

想獲得最新商品資訊,請訂閱免費電子報