Picture 1 of 1
Gallery
Picture 1 of 1
Have one to sell?
Rigorous Software Development: An Introduction to Program Verification (Undergr,
US $49.99
Approximately£36.81
Condition:
“Used book in good condition. Shows typical wear. Quick shipping. Satisfaction guaranteed!”
Good
A book that has been read, but is in good condition. Minimal damage to the book cover eg. scuff marks, but no holes or tears. If this is a hard cover, the dust jacket may be missing. Binding has minimal wear. The majority of pages are undamaged with some creasing or tearing, and pencil underlining of text, but this is minimal. No highlighting of text, no writing in the margins, and no missing pages. See the seller’s listing for full details and description of any imperfections.
- Buy it nowRigorous Software Development: An Introduction to Program Verification (Undergr,
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
Postage:
US $6.99 (approx £5.15) USPS Media MailTM.
Located in: Multiple Locations, United States
Delivery:
Estimated between Mon, 28 Jul and Sat, 2 Aug to 94104
Returns:
30 days return. Buyer pays for return postage. If you use an eBay delivery label, it will be deducted from your refund amount.
Payments:
Shop with confidence
Seller assumes all responsibility for this listing.
eBay item number:116582433345
Item specifics
- Condition
- Good
- Seller notes
- “Used book in good condition. Shows typical wear. Quick shipping. Satisfaction guaranteed!”
- Book Title
- Rigorous Software Development: An Introduction to Program Verifi,
- Topic
- Business Technology
- Narrative Type
- Business Technology
- Genre
- N/A
- Intended Audience
- N/A
- ISBN
- 9780857290175
About this product
Product Identifiers
Publisher
Springer London, The Limited
ISBN-10
0857290177
ISBN-13
9780857290175
eBay Product ID (ePID)
109185030
Product Key Features
Number of Pages
Xiii, 307 Pages
Language
English
Publication Name
Rigorous Software Development : an Introduction to Program Verification
Subject
Software Development & Engineering / Quality Assurance & Testing, Software Development & Engineering / General, Computer Science, Algebra / General
Publication Year
2011
Type
Textbook
Subject Area
Mathematics, Computers
Series
Undergraduate Topics in Computer Science Ser.
Format
Trade Paperback
Dimensions
Item Weight
16 Oz
Item Length
9.3 in
Item Width
6.1 in
Additional Product Features
Intended Audience
Scholarly & Professional
Dewey Edition
22
Reviews
From the reviews:Provide a refreshing approach to a textbook on formal testing and verification methods. … intended for undergraduate students and will be useful to practitioners as well. The authors lay out the topics in incremental fashion … present enough information to foster a good understanding of the theoretical framework supporting formal methods … . The exercises are very useful and provide a practical side to the methods; the references will be vital to practitioners … . Summing Up: Recommended. All undergraduate students, practitioners, and general readers. (L. Benedicenti, Choice, Vol. 49 (1), September, 2011), From the reviews: "Provide a refreshing approach to a textbook on formal testing and verification methods. ... intended for undergraduate students and will be useful to practitioners as well. The authors lay out the topics in incremental fashion ... present enough information to foster a good understanding of the theoretical framework supporting formal methods ... . The exercises are very useful and provide a practical side to the methods; the references will be vital to practitioners ... . Summing Up: Recommended. All undergraduate students, practitioners, and general readers." (L. Benedicenti, Choice, Vol. 49 (1), September, 2011) "The first half carefully introduces logic without reference to software, while the second half develops verification techniques. ... an undergraduate textbook in computer science and is suitable for well-motivated students willing and able to assimilate the chapters devoted to logic. ... Each chapter ends with a very helpful 'To Learn More' section ... and gives references for further study. ... this book will benefit its intended readers and will give them a good foundation in program verification that can be used in applications ... ." (Arthur Gittleman, ACM Computing Reviews, December, 2011) "This book is a concise introduction to formal methods together with an in-depth coverage of model-based and Hoare logic-based methods and focuses on two approaches ... . This text is a self-contained introduction to program verification using logic-based methods, presented in the broader context of formal methods for software engineering. Undergraduate students will find this useful in their course." (CSI eNewsletter, Vol. 4 (1), January, 2013)
Number of Volumes
1 vol.
Illustrated
Yes
Dewey Decimal
005.14
Table Of Content
List of Figures.- 1. Introduction.- 2. An Overview of Formal Methods Tools and Techniques.- 3. Propositional Logic.- 4. First-Order Logic.- 5. Hoare Logic.- 6. Generating Verification Conditions.- 7. Safety Properties.- 8. Procedures and Contracts.- 9. Specifying C Programs.- 10. Verifying C Programs.- Bibliography.- Index.
Synopsis
The use of mathematical methods in the development of software is essential when reliable systems are sought; in particular they are now strongly recommended by the official norms adopted in the production of critical software. Program Verification is the area of computer science that studies mathematical methods for checking that a program conforms to its specification. This text is a self-contained introduction to program verification using logic-based methods, presented in the broader context of formal methods for software engineering.The idea of specifying the behaviour of individual software components by attaching contracts to them is now a widely followed approach in program development, which has given rise notably to the development of a number of behavioural interface specification languages and program verification tools. A foundation for the static verification of programs based on contract-annotated routines is laid out in the book. These can be independently verified, which provides a modular approach to the verification of software.The text assumes only basic knowledge of standard mathematical concepts that should be familiar to any computer science student. It includes a self-contained introduction to propositional logic and first-order reasoning with theories, followed by a study of program verification that combines theoretical and practical aspects - from a program logic (a variant of Hoare logic for programs containing user-provided annotations) to the use of a realistic tool for the verification of C programs (annotated using the ACSL specification language), through the generation of verification conditions and the static verification of runtime errors., This text is a self-contained introduction to program verification using logic-based methods, presented in the broader context of formal methods for software engineering. It focuses on two approaches: the Coq proof assistant and the B suite., List of Figures.- 1. Introduction.- 2. An Overview of Formal Methods Tools and Techniques.- 3. Propositional Logic.- 4. First-Order Logic.- 5. Hoare Logic.- 6. Generating Verification Conditions.- 7. Safety Properties.- 8. Procedures and Contracts.- 9. Specifying C Programs.- 10. Verifying C Programs.- Bibliography.- Index
LC Classification Number
QA76.758
Item description from the seller
Seller business information
Seller Feedback (12,172)
- 3***6 (109)- Feedback left by buyer.Past 6 monthsVerified purchaseI appreciate the speed with which Whattaplace shipped my order to me. Regretfully the item was lost somewhere in the shipment process. I also liked the asking price as well. I dialogued with the vendor, about the item not showing up when expected. They got right back to me, and said they'd refund the purchase price (which they did). I was to watch for the item if it got delivered. I'd notify Whattaplace of that. I'd recommend this vendor & would buy from them again.
- g***e (69)- Feedback left by buyer.Past 6 monthsVerified purchase⭐⭐⭐⭐⭐ Excellent Seller – Highly Recommended! Great experience with this seller! The item was exactly as described—authentic and in perfect condition. The packaging was secure and well done, ensuring everything arrived safely. Shipping was impressively fast, and the price was very fair for the value. Overall, a smooth and reliable transaction. Would definitely buy from them again!
- 4***d (33)- Feedback left by buyer.Past 6 monthsVerified purchaseAlthough I was shipped the wrong item, I received a response and full refund within a minute or so. Almost instantly. Plus, I got to keep the item which arrived really fast. I'm leaving a positive review because of the great customer service.
More to explore:
- Personal Development Biography and Autobiography,
- Personal Development Non-Fiction Books,
- Personal Development Antiquarian & Collectable Books,
- Personal Development Hardback Antiquarian & Collectable Books,
- Personal Development Non-Fiction Hardcover Books,
- Personal Development Original Antiquarian & Collectable Books,
- Law Non-Fiction Personal Development Fiction & Books,
- Adults Non-Fiction Personal Development Fiction & Books,
- Personal Development Hardback Antiquarian & Collectable Books in English,
- Non-Fiction Psychology & Help & Personal Development Fiction Books
Seller Feedback (12,172)
- 3***6 (109)- Feedback left by buyer.Past 6 monthsVerified purchaseI appreciate the speed with which Whattaplace shipped my order to me. Regretfully the item was lost somewhere in the shipment process. I also liked the asking price as well. I dialogued with the vendor, about the item not showing up when expected. They got right back to me, and said they'd refund the purchase price (which they did). I was to watch for the item if it got delivered. I'd notify Whattaplace of that. I'd recommend this vendor & would buy from them again.
- g***e (69)- Feedback left by buyer.Past 6 monthsVerified purchase⭐⭐⭐⭐⭐ Excellent Seller – Highly Recommended! Great experience with this seller! The item was exactly as described—authentic and in perfect condition. The packaging was secure and well done, ensuring everything arrived safely. Shipping was impressively fast, and the price was very fair for the value. Overall, a smooth and reliable transaction. Would definitely buy from them again!
- 4***d (33)- Feedback left by buyer.Past 6 monthsVerified purchaseAlthough I was shipped the wrong item, I received a response and full refund within a minute or so. Almost instantly. Plus, I got to keep the item which arrived really fast. I'm leaving a positive review because of the great customer service.