第 1/1 張圖片
圖片庫
第 1/1 張圖片
有類似物品要出售？
VERIFICATION OF OBJECT-ORIENTE
~ MINT Condition! Quick & Free Delivery in 2-14 days ~
US $106.95
大約HK$ 831.10
狀況：
“Book is in Like New / near Mint Condition. Will include dust jacket if it originally came with ”... 閱讀更多內容關於物品狀況
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
運送：
免費 Economy Shipping.
所在地：US, 美國
送達日期：
估計於 11月3日 (星期一)至 11月6日 (星期四)之間送達 運送地點 94104
退貨：
30 日退貨. 由賣家支付退貨運費.
保障：
請參閱物品說明或聯絡賣家以取得詳細資料。閱覽全部詳情查看保障詳情
（不符合「eBay 買家保障方案」資格）
賣家必須承擔此刊登物品的所有責任。
eBay 物品編號：226711983086
物品細節
- 物品狀況
- 很新
- 賣家備註
- ISBN-10
- 354068977X
- Book Title
- Verification of Object-Oriented Software. The KeY Approach:
- Genre
- Artificial intelligence
- Item Height
- 9.25 inches
- ISBN
- 9783540689775
關於產品
Product Identifiers
Publisher
Springer Berlin / Heidelberg
ISBN-10
354068977X
ISBN-13
9783540689775
eBay Product ID (ePID)
26038665150
Product Key Features
Number of Pages
Xxix, 658 Pages
Language
English
Publication Name
Verification of Object-Oriented Software : the Key Approach
Subject
Software Development & Engineering / General, Intelligence (Ai) & Semantics, Computer Science, Programming / Object Oriented, Compilers
Publication Year
2007
Type
Textbook
Subject Area
Computers
Series
Lecture Notes in Computer Science Ser.
Format
Trade Paperback
Dimensions
Item Weight
36.8 Oz
Item Length
9.3 in
Item Width
6.1 in
Additional Product Features
Intended Audience
Scholarly & Professional
LCCN
2006-939067
Dewey Edition
22
Reviews
From the reviews:"This book is a collection of work by different authors on software verification. The context of the book is the key project, which aims to build a verification of the systems based on model checking. The book features the widely used specification languages: object constraint language (OCL) and Java modeling language (JML). … this book is a good resource for graduate students and researchers … ." (S. Balaraman, Computing Reviews, December, 2007), From the reviews: "This book is a collection of work by different authors on software verification. The context of the book is the key project, which aims to build a verification of the systems based on model checking. The book features the widely used specification languages: object constraint language (OCL) and Java modeling language (JML). ... this book is a good resource for graduate students and researchers ... ." (S. Balaraman, Computing Reviews, December, 2007)
Series Volume Number
4334
Number of Volumes
1 vol.
Illustrated
Yes
Dewey Decimal
005.1/4
Table Of Content
A New Look at Formal Methods for Software Construction.- A New Look at Formal Methods for Software Construction.- I: Foundations.- First-Order Logic.- Dynamic Logic.- Construction of Proofs.- II: Expressing and Formalising Requirements.- Formal Specification.- Pattern-Driven Formal Specification.- Natural Language Specifications.- Proof Obligations.- From Sequential Java to Java Card.- III: Using the KeY System.- Using KeY.- Proving by Induction.- Java Integers.- Proof Reuse.- IV: Case Studies.- The Demoney Case Study.- The Schorr-Waite-Algorithm.- Appendices.- Predefined Operators in Java Card DL.- The KeY Syntax.
Synopsis
Long gone are the days when program veri'cation was a task carried out merely by hand with paper and pen. For one, we are increasingly interested in proving actual program artifacts, not just abstractions thereof or core algorithms. The programs we want to verify today are thus longer, including whole classes and modules. As we consider larger programs, the number of cases to be considered in a proof increases. The creative and insightful parts of a proof can easily be lost in scores of mundane cases. Another problem with paper-and-pen proofs is that the features of the programming languages we employ in these programs are plentiful, including object-oriented organizations of data, facilities for specifying di'erent c- trol ?ow for rare situations, constructs for iterating over the elements of a collection, and the grouping together of operations into atomic transactions. These language features were designed to facilitate simpler and more natural encodings of programs, and ideally they are accompanied by simpler proof rules. But the variety and increased number of these features make it harder to remember all that needs to be proved about their uses. As a third problem, we have come to expect a higher degree of rigor from our proofs. A proof carried out or replayed by a machine somehow gets more credibility than one that requires human intellect to understand., Long gone are the days when program veri?cation was a task carried out merely by hand with paper and pen. For one, we are increasingly interested in proving actual program artifacts, not just abstractions thereof or core algorithms. The programs we want to verify today are thus longer, including whole classes and modules. As we consider larger programs, the number of cases to be considered in a proof increases. The creative and insightful parts of a proof can easily be lost in scores of mundane cases. Another problem with paper-and-pen proofs is that the features of the programming languages we employ in these programs are plentiful, including object-oriented organizations of data, facilities for specifying di?erent c- trol ?ow for rare situations, constructs for iterating over the elements of a collection, and the grouping together of operations into atomic transactions. These language features were designed to facilitate simpler and more natural encodings of programs, and ideally they are accompanied by simpler proof rules. But the variety and increased number of these features make it harder to remember all that needs to be proved about their uses. As a third problem, we have come to expect a higher degree of rigor from our proofs. A proof carried out or replayed by a machine somehow gets more credibility than one that requires human intellect to understand.
LC Classification Number
Q334-342
賣家提供的物品說明
賣家信用評價 （312,353）
- 1***0 (1563)- 買家留下的信用評價。過去 1 個月購買已獲認證AS SHOWN/DESCRIBED. IT IS A GREAT BOOK WITH COLORED INSTRUCTIONS WITHIN. I ONLY SUGGEST THAT ALL SELLERS OF BOOKS WOULD SHOW 2-3 PHOTOS OF ITS CONTENTS. IN DOING SO IT MAY HELP WITH ANY QUESTIONS BUYERS MIGHT HAVE. SECURED PKG, SUPER FAST FREE SHIPPING, SUPER FAST DELIVERY. BOUGHT ITEM, IMMEDIATELY PAID FOR IT, WAS SHIPPED AND DELIVERED WITHIN 24 HOURS VIA AMAZON! I COULD NOT BE HAPPIER. AND I HIGHLY RECOMMEND THIS OUTSTANDING SELLER! THANK YOU FOR EVERYTHING!
- 0***t (10)- 買家留下的信用評價。過去 6 個月購買已獲認證Item was exactly as described and packaged to protect it. Seller’s pricing was spot on and when I received it, it was in good condition. Seller actually messaged me when they shipped it (I really appreciated that). Overall I’m happy doing business with them!
- 8***g (254)- 買家留下的信用評價。過去 6 個月購買已獲認證A smooth and professional transaction throughout. The item was exactly as described, clearly listed, and fairly priced. Communication from the seller was prompt, polite, and helpful, with dispatch confirmed quickly. The parcel was securely packaged and arrived in excellent condition, ahead of the expected delivery date. Care was taken at every stage of the process. I would be happy to buy from this seller again—many thanks for a reliable and well-handled sale.FINLAND AND EUROPE: INTERNATIONAL CRISES IN THE PERIOD OF By Juhani Paasivirta（#335694307643）
賣家信用評價 （312,353）
- 1***0 (1563)- 買家留下的信用評價。過去 1 個月購買已獲認證AS SHOWN/DESCRIBED. IT IS A GREAT BOOK WITH COLORED INSTRUCTIONS WITHIN. I ONLY SUGGEST THAT ALL SELLERS OF BOOKS WOULD SHOW 2-3 PHOTOS OF ITS CONTENTS. IN DOING SO IT MAY HELP WITH ANY QUESTIONS BUYERS MIGHT HAVE. SECURED PKG, SUPER FAST FREE SHIPPING, SUPER FAST DELIVERY. BOUGHT ITEM, IMMEDIATELY PAID FOR IT, WAS SHIPPED AND DELIVERED WITHIN 24 HOURS VIA AMAZON! I COULD NOT BE HAPPIER. AND I HIGHLY RECOMMEND THIS OUTSTANDING SELLER! THANK YOU FOR EVERYTHING!
- 0***t (10)- 買家留下的信用評價。過去 6 個月購買已獲認證Item was exactly as described and packaged to protect it. Seller’s pricing was spot on and when I received it, it was in good condition. Seller actually messaged me when they shipped it (I really appreciated that). Overall I’m happy doing business with them!
- 8***g (254)- 買家留下的信用評價。過去 6 個月購買已獲認證A smooth and professional transaction throughout. The item was exactly as described, clearly listed, and fairly priced. Communication from the seller was prompt, polite, and helpful, with dispatch confirmed quickly. The parcel was securely packaged and arrived in excellent condition, ahead of the expected delivery date. Care was taken at every stage of the process. I would be happy to buy from this seller again—many thanks for a reliable and well-handled sale.FINLAND AND EUROPE: INTERNATIONAL CRISES IN THE PERIOD OF By Juhani Paasivirta（#335694307643）