Model Checking, Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled, Top Boo-

Ursprünglicher Text
Model Checking, Edmund M. Clarke Jr.,Orna Grumberg,Doron A. Peled, Excellent Boo
bellwetherbooks_usa
(209783)
Angemeldet als gewerblicher Verkäufer
Mehr Artikel des Verkäufers
Verkäufer kontaktieren
US $8,91
Ca.EUR 7,59
Artikelzustand:
Neuwertig
“LIKE NEW!!! Has a red or black remainder mark on bottom/exterior edge of pages.”
Ganz entspannt. Rückgaben akzeptiert.
Versand:
Kostenlos Economy Shipping.
Standort: McKeesport, Pennsylvania, USA
Lieferung:
Lieferung zwischen Do, 25. Sep und Mi, 1. Okt 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. Käufer zahlt Rückversand. Wenn Sie ein eBay-Versandetikett verwenden, werden die Kosten dafür von Ihrer Rückerstattung abgezogen.
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

  • Gratis Rückversand im Inland
  • Punkte für jeden Kauf und Verkauf
  • Exklusive Plus-Deals
Mehr erfahren- eBay Plus - wird in neuem Fenster oder Tab geöffnet
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:267354529219
Zuletzt aktualisiert am 17. Sep. 2025 03:33:32 MESZAlle Änderungen ansehenAlle Änderungen ansehen

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 aufrufenwird in neuem Fenster oder Tab geöffnet
Hinweise des Verkäufers
“LIKE NEW!!! Has a red or black remainder mark on bottom/exterior edge of pages.”
ISBN
9780262032704
Kategorie

Über dieses Produkt

Product Identifiers

Publisher
MIT Press
ISBN-10
0262032708
ISBN-13
9780262032704
eBay Product ID (ePID)
1010571

Product Key Features

Number of Pages
334 Pages
Language
English
Publication Name
Model Checking
Subject
Software Development & Engineering / Quality Assurance & Testing, Computer Science
Publication Year
1999
Type
Textbook
Subject Area
Computers
Author
Orna Grumberg, Edmund M. Clarke, Doron Peled
Series
The Cyber-Physical Systems Ser.
Format
Hardcover

Dimensions

Item Height
0.9 in
Item Weight
24.1 Oz
Item Length
9.3 in
Item Width
7.2 in

Additional Product Features

Intended Audience
Scholarly & Professional
LCCN
99-017979
Dewey Edition
21
Reviews
"Model Checkingis bound to be the pre-eminent source for research, teaching, and industrial practice on this important subject. The authors include the foremost experts. This is the first truly comprehensive treatment of a line of research that has gone from conception to industrial practice in only two decades." -R. P. Kurshan, Distinguished Member Technical Staff, Bell Laboratories
Grade From
College Graduate Student
Illustrated
Yes
Dewey Decimal
004.2/1
Synopsis
Model checking is a technique for verifying finite state concurrent systems such as sequential circuit designs and communication protocols. It has a number of advantages over traditional approaches that are based on simulation, testing, and deductive reasoning. In particular, model checking is automatic and usually quite fast. Also, if the design contains an error, model checking will produce a counterexample that can be used to pinpoint the source of the error. The method, which was awarded the 1998 ACM Paris Kanellakis Award for Theory and Practice, has been used successfully in practice to verify real industrial designs, and companies are beginning to market commercial model checkers. The main challenge in model checking is dealing with the state space explosion problem. This problem occurs in systems with many components that can interact with each other or systems with data structures that can assume many different values. In such cases the number of global states can be enormous. Researchers have made considerable progress on this problem over the last ten years. This is the first comprehensive presentation of the theory and practice of model checking. The book, which includes basic as well as state-of-the-art techniques, algorithms, and tools, can be used both as an introduction to the subject and as a reference for researchers.
LC Classification Number
QA76.76.V47C553 1999

Artikelbeschreibung des Verkäufers

Rechtliche Informationen des Verkäufers

Ich versichere, dass alle meine Verkaufsaktivitäten in Übereinstimmung mit allen geltenden Gesetzen und Vorschriften der EU erfolgen.
Info zu diesem Verkäufer

bellwetherbooks_usa

99,7% positive Bewertungen•800.631 Artikel verkauft

Mitglied seit Mai 2007
Antwortet meist innerhalb 48 Stunden
Angemeldet als gewerblicher Verkäufer
Bellwetherbookstore.com© is among the largest & most reputable bargain book online retailers in the U.S. We specialize in the sale of the "hurt or return" and overstock books of the leading ...
Mehr anzeigen
Shop besuchenKontakt

Detaillierte Verkäuferbewertungen

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

Beliebte Kategorien in diesem Shop

Alle ansehenKategorien
Sonstiges

Verkäuferbewertungen (242.047)

Alle Bewertungen
Positiv
Neutral
Negativ
  • s***a (24)- Bewertung vom Käufer.
    Letzte 6 Monate
    Bestätigter Kauf
    I purchased multiple books from this seller, and this was a great experience! Each book was listed at a great price! Everything was shipped out quickly, and arrived only a few days after that. The book was packaged appropriately as well. The condition of the book was even better than what was listed, as it looked almost brand new, rather than the “very good” that was stated. I absolutely would buy from this seller again!
    Heaven Official's Blessing: Tian Guan Ci Fu (Novel) Vol. 4 (Nr. 277177504881)
  • b***b (225)- Bewertung vom Käufer.
    Letzte 6 Monate
    Bestätigter Kauf
    This is a bookseller you can rely on. Paper Cuts is not my first purchase from them & they never let me down. Everything about them is positive. This book is brand new (!), even though it was listed as like new. Literally, brand new! They may have listed it as such due to the remainder mark - so slight it looks like a red dot. The quality, value and appearance of 'Paper Cuts' - all 5 (out of 5) stars. Great, strong, secure packaging. Book arrived on time. THANK YOU bellwetherbooks_usa!
    Paper Cuts: An Enchanting Cozy Mystery (A Secret, Book, and Scone Society Novel) (Nr. 276444407498)
  • e***o (378)- Bewertung vom Käufer.
    Letzte 6 Monate
    Bestätigter Kauf
    The cookbook I purchased from the seller was in wonderful condition just as described in the sellers listing. The seller shipped it quickly and packaged it wonderfully it arrived in perfect condition with no bent corners or dents. I am very picky about my books and I am very pleased with my purchase. The price was fair. A very kind seller!
    Five Marys Ranch Raised Cookbook: Homegrown Recipes from Our Family to Yours (Nr. 255668962011)
Alle Bewertungen ansehen

Noch mehr entdecken: