VERIFICATION OF OBJECT-ORIENTED SOFTWARE. THE KEY By Bernhard Beckert & Reiner

~ MINT Condition! Quick & Free Delivery in 2-14 days ~
ZUBER
(283308)
Registrado como vendedor profesional
Otros artículos del vendedor
Contactar con el vendedor
USD106,95
Aproximadamente92,19 EUR
Estado:
Como nuevo
“Book is in Like New / near Mint Condition. Will include dust jacket if it originally came with ”... Más informaciónacerca del estado
Respira tranquilidad. Envíos y devoluciones gratis.
Envío:
Gratis Economy Shipping.
Ubicado en: US, Estados Unidos
Entrega:
Entrega prevista entre el lun. 3 nov. y el jue. 6 nov. a 94104
Las fechas previstas de entrega (se abre en una nueva ventana o pestaña) incluyen el tiempo de manipulación del vendedor, el código postal de origen, el código postal de destino y la hora de aceptación, y dependen del servicio de envío seleccionado y de que el pago se haya hecho efectivoel pago se haya hecho efectivo (se abre en una nueva ventana o pestaña). Los plazos de entrega pueden variar, especialmente en épocas de mucha actividad.
Devoluciones:
30 días para devoluciones. El vendedor paga el envío de la devolución.
Pagos:
    Diners Club

Compra con confianza

Garantía al cliente de eBay
Si no recibes el artículo que has pedido, te devolvemos el dinero. Más informaciónGarantía al cliente de eBay - se abre en una nueva ventana o pestaña
El vendedor asume toda la responsabilidad de este anuncio.
N.º de artículo de eBay:226711983086

Características del artículo

Estado
Como nuevo
Libro en perfecto estado y poco leído. La tapa no tiene desperfectos y si procede, con sobrecubierta para las tapas duras. Incluye todas las páginas sin arrugas ni roturas. El texto no está subrayado ni resaltado de forma alguna, y no hay anotaciones en los márgenes. Puede presentar marcas de identificación mínimas en la contraportada o las guardas. Muy poco usado. Consulta el anuncio del vendedor para obtener más información y la descripción de cualquier posible imperfección. Ver todas las definiciones de estadose abre en una nueva ventana o pestaña
Notas del vendedor
“Book is in Like New / near Mint Condition. Will include dust jacket if it originally came with ...
ISBN-10
354068977X
Book Title
Verification of Object-Oriented Software. The KeY Approach:
Genre
Artificial intelligence
Item Height
9.25 inches
ISBN
9783540689775
Categoría

Acerca de este producto

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
Author
Reiner Hähnle
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

Descripción del artículo del vendedor

Acerca de este vendedor

ZUBER

98,3% de votos positivos•989 mil artículos vendidos

Se unió el oct 1998
Registrado como vendedor profesional
Visitar tiendaContactar

Valoraciones detalladas sobre el vendedor

Promedio durante los últimos 12 meses
Descripción precisa
4.8
Gastos de envío razonables
5.0
Rapidez de envío
5.0
Comunicación
4.9

Categorías populares de esta tienda

Ver todascategorías
BooksCDDVDOtros

Votos de vendedor (312.415)

Todas las valoracionesselected
Positivas
Neutras
Negativas
  • 1***0 (1563)- Votos emitidos por el comprador.
    Mes pasado
    Compra verificada
    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!
    A PASSION FOR FLOWERS IN 3-D PEYOTE STITCH By Sheila Root **BRAND NEW** (#187507796397)
  • 0***t (10)- Votos emitidos por el comprador.
    Últimos 6 meses
    Compra verificada
    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!
    FUTURE DIARY, VOL. 8 By Sakae Esuno *Excellent Condition* (#226982769892)
  • 8***g (254)- Votos emitidos por el comprador.
    Últimos 6 meses
    Compra verificada
    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)
Ver todos los votos

Más que explorar: