Imagen 1 de 1
Galería
Imagen 1 de 1
¿Quieres vender uno?
Rigorous Software Development: An Introduction to Program Verification (Undergr,
USD49,99
Aproximadamente43,14 EUR
Estado:
“Used book in good condition. Shows typical wear. Quick shipping. Satisfaction guaranteed!”
En buen estado
Libro que se ha leído pero que está en buen estado. Daños mínimos en la tapa, incluidas rozaduras, pero sin roturas ni agujeros. Es posible que no incluya sobrecubierta para tapas duras. Tapa muy poco desgastada. La mayoría de las páginas están en buen estado con muy pocas arrugas o roturas. El texto subrayado a lápiz es prácticamente inexistente, no hay texto resaltado ni anotaciones en los márgenes. No faltan páginas. Consulta el anuncio del vendedor para obtener más información y la descripción de cualquier posible imperfección.
- ¡Cómpralo ya!Rigorous 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.
Envío:
USD6,99 (aprox. 6,03 EUR) USPS Media MailTM.
Ubicado en: Multiple Locations, Estados Unidos
Entrega:
Entrega prevista entre el jue. 7 ago. y el lun. 11 ago. a 94104
Devoluciones:
30 días para devoluciones. El comprador paga el envío de la devolución..
Pagos:
Compra con confianza
El vendedor asume toda la responsabilidad de este anuncio.
N.º de artículo de eBay:116582433345
Última actualización el 04 ago 2025 17:26:54 H.EspVer todas las actualizacionesVer todas las actualizaciones
Características del artículo
- Estado
- En buen estado
- Notas del vendedor
- “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
Acerca de este producto
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
Descripción del artículo del vendedor
Información de vendedor profesional
Acerca de este vendedor
Whattaplace
95,8% de votos positivos•58 mil artículos vendidos
Registrado como vendedor profesional
Votos de vendedor (12.196)
- 3***6 (109)- Votos emitidos por el comprador.Últimos 6 mesesCompra verificadaI 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)- Votos emitidos por el comprador.Últimos 6 mesesCompra verificada⭐⭐⭐⭐⭐ 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!Denali National Park Guide to Hiking, Photography & Camping by Ike Waits (#165864913756)
- 4***d (35)- Votos emitidos por el comprador.Últimos 6 mesesCompra verificadaAlthough 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.
Votos de vendedor (12.196)
- 3***6 (109)- Votos emitidos por el comprador.Últimos 6 mesesCompra verificadaI 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)- Votos emitidos por el comprador.Últimos 6 mesesCompra verificada⭐⭐⭐⭐⭐ 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!Denali National Park Guide to Hiking, Photography & Camping by Ike Waits (#165864913756)
- 4***d (35)- Votos emitidos por el comprador.Últimos 6 mesesCompra verificadaAlthough 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.