第 1/1 張圖片
第 1/1 張圖片
Formal Description Techniques VIII by Gregor von Bochmann (English) Hardcover Bo
US $241.36
大約HK$ 1,878.76
狀況:
全新
全新,未閱讀過和使用過的書籍,狀況完好,不存在缺頁或內頁受損。
庫存 3 件
運費:
免費 Economy Shipping.
所在地:Fairfield, Ohio, 美國
送達日期:
估計於 10月10日, 四至 10月17日, 四之間送達 運送地點 43230
退貨:
30 日退貨. 由買家支付退貨運費.
保障:
請參閱物品說明或聯絡賣家以取得詳細資料。閱覽全部詳情查看保障詳情
(不符合「eBay 買家保障方案」資格)
安心購物
物品細節
- 物品狀況
- 全新: 全新,未閱讀過和使用過的書籍,狀況完好,不存在缺頁或內頁受損。 查看所有物品狀況定義會在新視窗或分頁中開啟
- ISBN-13
- 9780412732706
- Book Title
- Formal Description Techniques VIII
- ISBN
- 9780412732706
- Subject Area
- Computers, Technology & Engineering, Language Arts & Disciplines
- Publication Name
- Formal Descriptions Techniques VIII
- Publisher
- Springer
- Item Length
- 9.3 in
- Subject
- Signals & Signal Processing, Networking / General, Linguistics / General
- Publication Year
- 1996
- Series
- Ifip Advances in Information and Communication Technology Ser.
- Type
- Textbook
- Format
- Hardcover
- Language
- English
- Item Weight
- 65.3 Oz
- Item Width
- 6.1 in
- Number of Pages
- Xiv, 452 Pages
關於產品
Product Identifiers
Publisher
Springer
ISBN-10
041273270X
ISBN-13
9780412732706
eBay Product ID (ePID)
7038313148
Product Key Features
Number of Pages
Xiv, 452 Pages
Language
English
Publication Name
Formal Descriptions Techniques VIII
Publication Year
1996
Subject
Signals & Signal Processing, Networking / General, Linguistics / General
Type
Textbook
Subject Area
Computers, Technology & Engineering, Language Arts & Disciplines
Series
Ifip Advances in Information and Communication Technology Ser.
Format
Hardcover
Dimensions
Item Weight
65.3 Oz
Item Length
9.3 in
Item Width
6.1 in
Additional Product Features
Intended Audience
Scholarly & Professional
Dewey Edition
21
Number of Volumes
1 vol.
Illustrated
Yes
Volume Number
VIII
Dewey Decimal
004.62
Table Of Content
Preface. Invited presentation. Design methodologies. Verification I. Algebraic languages. System specification and Z. Invited presentation. Industrial experiences. Applying formal methods. Tools and testing. Real-time and stochastic systems. Verification II. List of tools for demonstrations. Keyword index.
Synopsis
This volume contains the latest worldwide research results on formal description techniques applicable to telecommunications, covering their theoretical foundations, industrial applications and practical usage. The book presents the selected proceedings of the eighth International Conference on Formal Description Techniques, arranged by the International Federation for Information Processing and held in Montreal, Canada, October 1995.
LC Classification Number
TK5102.9
賣家提供的物品說明
賣家信用評價 (1,032,932)
- a***p (7248)- 買家留下的信用評價。過去 1 個月購買已獲認證A remarkable book; well wrapped; promptly delivered: thanks!
- y***e (569)- 買家留下的信用評價。過去 1 個月購買已獲認證Great
- l***o (242)- 買家留下的信用評價。過去 1 個月購買已獲認證Thank you