Zurück zur Startseite
|Eingestellt in Kategorie:
|
Auf die Beobachtungsliste

Bild 1 von 1

Modellprüfung, Hardcover von Clarke, Edmund M., Jr.; Grumberg, Orna; Kroening... - Bild 1 von 1
Ähnlichen Artikel verkaufen?
Selbst verkaufen

Modellprüfung, Hardcover von Clarke, Edmund M., Jr.; Grumberg, Orna; Kroening...-

Ursprünglicher Text
Model Checking, Hardcover by Clarke, Edmund M., Jr.; Grumberg, Orna; Kroening...
Artikelzustand:
Neuwertig
2 verfügbar
Preis:
US $77,11
Ca.EUR 71,61
Versand:
Kostenlos Economy Shipping. Weitere Detailsfür Versand
Standort: Jessup, Maryland, USA
Lieferung:
Lieferung zwischen Sa, 11. Mai und Mi, 22. Mai nach 43230 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ücknahmen:
14 Tage Rückgabe. Käufer zahlt Rückversand. Weitere Details- Informationen zu Rückgaben
Zahlungen:
     

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

Angaben zum Verkäufer

Angemeldet als gewerblicher Verkäufer
Artikel melden - wird in neuem Fenster oder Tab geöffnet
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:385882260095
Zuletzt aktualisiert am 04. Mai. 2024 03:45:55 MESZAlle Änderungen ansehenAlle Änderungen ansehen

Artikelmerkmale

Artikelzustand
Neuwertig: Buch, das wie neu aussieht, aber bereits gelesen wurde. Der Einband weist keine ...
Book Title
Model Checking
ISBN
9780262038836
Publication Name
Model Checking, Second Edition
Item Length
9.3in
Publisher
MIT Press
Series
Cyber Physical Systems Ser.
Publication Year
2018
Type
Textbook
Format
Hardcover
Language
English
Item Height
1.1in
Author
Orna Grumberg, Daniel Kroening, Helmut Veith, Doron Peled, Edmund M. Clarke Jr.
Item Width
7.3in
Item Weight
28.9 Oz
Number of Pages
424 Pages

Über dieses Produkt

Product Information

An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems. Model checking is a verification technology that provides an algorithmic means of determining whether an abstract model--representing, for example, a hardware or software design--satisfies a formal specification expressed as a temporal logic formula. If the specification is not satisfied, the method identifies a counterexample execution that shows the source of the problem. Today, many major hardware and software companies use model checking in practice, for verification of VLSI circuits, communication protocols, software device drivers, real-time embedded systems, and security algorithms. This book offers a comprehensive presentation of the theory and practice of model checking, covering the foundations of the key algorithms in depth. The field of model checking has grown dramatically since the publication of the first edition in 1999, and this second edition reflects the advances in the field. Reorganized, expanded, and updated, the new edition retains the focus on the foundations of temporal logic model while offering new chapters that cover topics that did not exist in 1999: propositional satisfiability, SAT-based model checking, counterexample-guided abstraction refinement, and software model checking. The book serves as an introduction to the field suitable for classroom use and as an essential guide for researchers.

Product Identifiers

Publisher
MIT Press
ISBN-10
0262038838
ISBN-13
9780262038836
eBay Product ID (ePID)
19038259640

Product Key Features

Author
Orna Grumberg, Daniel Kroening, Helmut Veith, Doron Peled, Edmund M. Clarke Jr.
Publication Name
Model Checking, Second Edition
Format
Hardcover
Language
English
Series
Cyber Physical Systems Ser.
Publication Year
2018
Type
Textbook
Number of Pages
424 Pages

Dimensions

Item Length
9.3in
Item Height
1.1in
Item Width
7.3in
Item Weight
28.9 Oz

Additional Product Features

Lc Classification Number
Qa76.76.V47c553 2018
Edition Number
2
Copyright Date
2018
Target Audience
Trade
Topic
Operating Systems / General, Computer Science
Lccn
2018-014965
Dewey Decimal
004.21
Dewey Edition
23
Illustrated
Yes
Genre
Computers

Artikelbeschreibung des Verkäufers

Rechtliche Informationen des Verkäufers

Expert Trading Limited
John Boyer
9220 Rumsey Rd
Ste 101
21045-1956 Columbia, MD
United States
Kontaktinformationen anzeigen
:liaM-Emoc.secirpkoobtaerg@sredroyabe
Ich versichere, dass alle meine Verkaufsaktivitäten in Übereinstimmung mit allen geltenden Gesetzen und Vorschriften der EU erfolgen.
Great Book Prices Store

Great Book Prices Store

96,8% positive Bewertungen
1,2 Mio. Artikel verkauft
Shop besuchenKontakt
Antwortet meist innerhalb 24 Stunden

Detaillierte Verkäuferbewertungen

Durchschnitt in den letzten 12 Monaten

Genaue Beschreibung
4.9
Angemessene Versandkosten
5.0
Lieferzeit
4.9
Kommunikation
4.8
Angemeldet als gewerblicher Verkäufer

Verkäuferbewertungen (339.914)

e***o (304)- Bewertung vom Käufer.
Letzter Monat
Bestätigter Kauf
Great price, excellent quality and fast shipper.
By the Time You Read This : The Space Between Cheslie's Smile and Mental Illn... (Nr. 355634969630)
i***o (105)- Bewertung vom Käufer.
Letzter Monat
Bestätigter Kauf
The book is exactly as described and was sent to me in a timely fashion.
All I Have To Do Is Dream: The Boudleaux and Felice Bryant Story, Brand New, ... (Nr. 263917877806)
u***0 (673)- Bewertung vom Käufer.
Letzter Monat
Bestätigter Kauf
Never received the book
Male 2.0: Cracking the Code to Limitless Health and Vitality, Brand New, Free... (Nr. 385886183921)
Alle Bewertungen ansehen

Noch mehr entdecken: