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

~ MINT Condition! Quick & Free Delivery in 2-14 days ~
ZUBER
(283305)
Angemeldet als gewerblicher Verkäufer
Mehr Artikel des Verkäufers
Verkäufer kontaktieren
US $106,95
Ca.CHF 85,55
Artikelzustand:
Neuwertig
“Book is in Like New / near Mint Condition. Will include dust jacket if it originally came with ”... Mehr erfahrenÜber den Artikelzustand
Ganz entspannt. Kostenloser Versand & Rückversand.
Versand:
Kostenlos Economy Shipping.
Standort: US, USA
Lieferung:
Lieferung zwischen Mo, 3. Nov und Do, 6. Nov nach 94104 bei heutigem Zahlungseingang
Liefertermine - wird in neuem Fenster oder Tab geöffnet berücksichtigen die Bearbeitungszeit des Verkäufers, die PLZ des Artikelstandorts und des Zielorts sowie den Annahmezeitpunkt und sind abhängig vom gewählten Versandservice und dem ZahlungseingangZahlungseingang - wird ein neuem Fenster oder Tab geöffnet. Insbesondere während saisonaler Spitzenzeiten können die Lieferzeiten abweichen.
Rücknahme:
30 Tage Rückgabe. Verkäufer zahlt Rückversand.
Zahlungen:
     Diners Club

Sicher einkaufen

eBay-Käuferschutz
Geld zurück, wenn etwas mit diesem Artikel nicht stimmt. Mehr erfahreneBay-Käuferschutz - wird in neuem Fenster oder Tab geöffnet
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:226711983086

Artikelmerkmale

Artikelzustand
Neuwertig
Buch, das wie neu aussieht, aber bereits gelesen wurde. Der Einband weist keine sichtbaren Gebrauchsspuren auf. Bei gebundenen Büchern ist der Schutzumschlag vorhanden (sofern zutreffend). Alle Seiten sind vollständig vorhanden, es gibt keine zerknitterten oder eingerissenen Seiten und im Text oder im Randbereich wurden keine Unterstreichungen, Markierungen oder Notizen vorgenommen. Der Inneneinband kann minimale Gebrauchsspuren aufweisen. Minimale Gebrauchsspuren. Genauere Einzelheiten sowie eine Beschreibung eventueller Mängel entnehmen Sie bitte dem Angebot des Verkäufers. Alle Zustandsdefinitionen ansehenwird in neuem Fenster oder Tab geöffnet
Hinweise des Verkäufers
“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

Über dieses Produkt

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

Artikelbeschreibung des Verkäufers

Info zu diesem Verkäufer

ZUBER

98,3% positive Bewertungen•989 Tsd. Artikel verkauft

Mitglied seit Okt 1998
Angemeldet als gewerblicher Verkäufer
Shop besuchenKontakt

Detaillierte Verkäuferbewertungen

Durchschnitt in den letzten 12 Monaten
Genaue Beschreibung
4.8
Angemessene Versandkosten
5.0
Lieferzeit
5.0
Kommunikation
4.9

Beliebte Kategorien in diesem Shop

Alle ansehenKategorien
BooksCDDVDSonstiges

Verkäuferbewertungen (312'411)

Alle Bewertungenselected
Positiv
Neutral
Negativ
  • 1***0 (1563)- Bewertung vom Käufer.
    Letzter Monat
    Bestätigter Kauf
    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** (Nr. 187507796397)
  • 0***t (10)- Bewertung vom Käufer.
    Letzte 6 Monate
    Bestätigter Kauf
    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* (Nr. 226982769892)
  • 8***g (254)- Bewertung vom Käufer.
    Letzte 6 Monate
    Bestätigter Kauf
    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 (Nr. 335694307643)
Alle Bewertungen ansehen

Noch mehr entdecken: