Foundations of Real-Time Computing: : Formal Specifications and Methods (The Springer International Series in Engineering and Computer Science 142) (1991. 336 S.)

Name: Foundations of Real-Time Computing: : Formal Specifications and Methods (The Springer International Series in Engineering and Computer Science 142) (1991. 336 S.)
Brand: SPRINGER, BERLIN
SKU: 00000_00000_00000_00000
Price: 5950.00 TWD
Availability: OutOfStock

Herausgegeben von van Tilborg, Andr

5,950 TWD

會員價

5,355

English

分享貼文

數量:

產品說明

This volume contains a selection of papers that focus on the state-of the-art in formal specification and verification of real-time computing systems.

... 閱讀全文

發行商

SPRINGER, BERLIN

出版日期

國際標準書號

9780792391678

版型/頁數

336

項目類型

Book

格式

Hardcover

無法提供

此產品目前缺貨，如需確認是否可提供訂購，請與我們聯繫。

您的購物車

Foundations of Real-Time Computing: : Formal Specifications and Methods (The Springer International Series in Engineering and Computer Science 142) (1991. 336 S.)

產品說明

無法提供

Foundations of Real-Time Computing: : Formal Specifications and Methods (The Springer International Series in Engineering and Computer Science 142) (1991. 336 S.)

最近瀏覽的項目

相關產品