Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures (Lecture Notes in Computer Science)
暫譯: 領域建模與持續時間演算：國際訓練學校，上海，中國，2007年9月17-21日，高級講座（計算機科學講義）

***

Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures (Lecture Notes in Computer Science)
  • 出版商: Springer
  • 出版日期: 2007-08-28
  • 售價: $2,430
  • 貴賓價: 9.5 折 $2,309
  • 語言: 英文
  • 頁數: 240
  • 裝訂: Paperback
  • ISBN: 3540749632
  • ISBN-13: 9783540749639
  • 相關分類: 微積分 Calculus、Computer-Science

    • 海外代購書籍(需單獨結帳)

相關主題

商品描述

This book presents thoroughly revised tutorial papers based on lectures given by leading researchers at the International Training School on Domain Modeling and the Duration Calculus, held in Shanghai, China, as an associated event of ICTAC 2007. Topics addressed in detail are: development of real-time systems, domain engineering using abstract modeling, the area of duration calculus, and formal methods like language description using the operational semantics approach.

商品描述(中文翻譯)

本書呈現了基於在中國上海舉行的國際培訓學校（International Training School on Domain Modeling and the Duration Calculus）上由領先研究者所給予的講座，經過徹底修訂的教學論文，該活動是ICTAC 2007的相關活動。詳細探討的主題包括：實時系統的開發、使用抽象建模的領域工程、持續計算（duration calculus）領域，以及使用操作語義方法的語言描述等形式化方法。

類似商品