Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings (Lecture Notes in Computer Science)
暫譯: 定時系統的形式化建模與分析：第五屆國際會議 FORMATS 2007，奧地利薩爾茨堡，2007年10月3-5日，會議論文集（計算機科學講義）

***

Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings (Lecture Notes in Computer Science)
  • 出版商: Springer
  • 出版日期: 2007-09-20
  • 售價: $2,410
  • 貴賓價: 9.5 折 $2,290
  • 語言: 英文
  • 頁數: 372
  • 裝訂: Paperback
  • ISBN: 3540754539
  • ISBN-13: 9783540754534
  • 相關分類: Computer-Science

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

商品描述

This book constitutes the refereed proceedings of the 5th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2007. It covers work on foundations and semantics of timed systems; examines techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints; and details applications like real-time software, hardware circuits, and problems of scheduling in manufacturing and telecommunication.

商品描述(中文翻譯)

本書為第五屆國際時間系統形式建模與分析會議（FORMATS 2007）的經過審查的會議論文集。內容涵蓋時間系統的基礎與語義；探討分析時間系統及解決時間約束的技術、演算法、資料結構和軟體工具；並詳細介紹如即時軟體、硬體電路以及製造和電信中的排程問題等應用。

類似商品