第 1/1 張圖片
圖片庫
第 1/1 張圖片
有類似物品要出售？
Wiley Teubner on Applicable Theory in Computer Science Ser.: Specification of...
US $139.95
大約HK$ 1,089.47
或講價
狀況：
“Stamp on the first blank page. Otherwise in pristine condition.”
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
運送：
US $9.99（大約 HK$ 77.77） Economy Shipping.
所在地：Carbondale, Illinois, 美國
送達日期：
估計於 12月11日 (星期四)至 12月15日 (星期一)之間送達 運送地點 94104
退貨：
不可退貨.
保障：
請參閱物品說明或聯絡賣家以取得詳細資料。閱覽全部詳情查看保障詳情
（不符合「eBay 買家保障方案」資格）
關於物品
賣家必須承擔此刊登物品的所有責任。
eBay 物品編號：116435236171
物品細節
- 物品狀況
- 很新
- 賣家備註
- “Stamp on the first blank page. Otherwise in pristine condition.”
- ISBN
- 9780471950677
關於產品
Product Identifiers
Publisher
Wiley & Sons, Incorporated, John
ISBN-10
047195067X
ISBN-13
9780471950677
eBay Product ID (ePID)
9038301706
Product Key Features
Number of Pages
272 Pages
Language
English
Publication Name
Specification of Abstract Data Types
Subject
Programming Languages / General, Computer Science
Publication Year
1996
Type
Textbook
Subject Area
Computers
Series
Wiley Teubner on Applicable Theory in Computer Science Ser.
Format
Hardcover
Dimensions
Item Height
0.8 in
Item Weight
25 Oz
Item Length
9.4 in
Item Width
7.6 in
Additional Product Features
Edition Number
1
Intended Audience
Scholarly & Professional
LCCN
96-032367
Dewey Edition
20
Illustrated
Yes
Dewey Decimal
005.73
Table Of Content
Software Design, Data Types and Specification.FUNDAMENTAL TOOLS.Many-Sorted-Algebras.Structuring Algebras.Algebras for Different Signatures.Logic.SPECIFICATION-IN-THE-SMALL.Loose Specifications.Initial Specifications.Constructive Specifications.SPECIFICATIONS-IN-THE-LARGE.Specification Languages.Modularization and Parameterization.A Case Study.FURTHER TOPICS.Further Topics.Bibliography.References.Symbols.Index.
Synopsis
Specification of Abstract Data Types provides an authoritative introduction to the mathematical foundations of algebraic program specification. Unlike most other publications on the subject, this book does not draw on category theory, but instead tries to demystify the topic and promote its use in practical applications. It clearly distinguishes between the study of algebras, logic, specification methods and specification languages and it avoids focusing on a particular logic or a particular specification method. After an informal discussion on the design of reliable software, the book presents the main notions and properties of algebras. Next it investigates logic, introducing a general notion of logic, encompassing those commonly used. On the basis of these fundamentals it describes in some detail three specification methods and the principles of specification languages. It concludes with a case study illustrating the use of abstract data type specification in software design. While treating the subject with mathematical precision, the book contains numerous examples, exercises and comments to provide a deeper understanding of concepts discussed. It was conceived as a student textbook but will also be a useful source of reference for researchers and developers using formal specification methods for software design.
LC Classification Number
QA76.9.A23L63 1996
賣家提供的物品說明
賣家信用評價 （126）
這件物品（1）
所有物品（126）
- o***o (264)- 買家留下的信用評價。過去 1 年購買已獲認證A+ seller. Item as described, prompt shipping.1st Print - Compact City: A Plan for a Liveable Urban Environment - Dantzig 1974（#115854633591）
- *****- 買家留下的信用評價。過去 1 年購買已獲認證As described well packaged
- *****- 買家留下的信用評價。過去 1 個月購買已獲認證Tutto perfetto!!! Ottimo Ebayer!!! Consigliatissimo! AAA+++
這是不公開的刊登，除了賣家之外，其他人無法得知你的身份。
賣家信用評價 （126）
這件物品（1）
所有物品（126）
- o***o (264)- 買家留下的信用評價。過去 1 年購買已獲認證A+ seller. Item as described, prompt shipping.1st Print - Compact City: A Plan for a Liveable Urban Environment - Dantzig 1974（#115854633591）
- *****- 買家留下的信用評價。過去 1 年購買已獲認證As described well packaged
- *****- 買家留下的信用評價。過去 1 個月購買已獲認證Tutto perfetto!!! Ottimo Ebayer!!! Consigliatissimo! AAA+++