Bild 1 von 1
Modellprüfung (Cyber Physical Systems Serie)-
Artikelzustand:
Mehr als 10 verfügbar
Versand:
Standort: Mckeesport, PA, USA
Lieferung:
Lieferung zwischen Mi, 8. Mai und Mo, 13. Mai nach 43230 bei heutigem Zahlungseingang
Rücknahmen:
Zahlungen:
Sicher einkaufen
Angaben zum Verkäufer
- 99,6% positive Bewertungen
Angemeldet als gewerblicher Verkäufer
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:275872475143
Artikelmerkmale
- Artikelzustand
- Artist
- Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled
- Book Title
- Model Checking (Cyber Physical Systems Series)
- ISBN
- 9780262032704
- Publication Name
- Model Checking
- Item Length
- 9.3in
- Publisher
- MIT Press
- Series
- The Cyber-Physical Systems Ser.
- Publication Year
- 1999
- Type
- Textbook
- Format
- Hardcover
- Language
- English
- Item Height
- 0.9in
- Item Width
- 7.2in
- Item Weight
- 24.1 Oz
- Number of Pages
- 334 Pages
Über dieses Produkt
Product Information
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.
Product Identifiers
Publisher
MIT Press
ISBN-10
0262032708
ISBN-13
9780262032704
eBay Product ID (ePID)
1010571
Product Key Features
Publication Name
Model Checking
Format
Hardcover
Language
English
Series
The Cyber-Physical Systems Ser.
Publication Year
1999
Type
Textbook
Number of Pages
334 Pages
Dimensions
Item Length
9.3in
Item Height
0.9in
Item Width
7.2in
Item Weight
24.1 Oz
Additional Product Features
Age Range
18
Lc Classification Number
Qa76.76.V47c553 1999
Grade from
College Graduate Student
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
Copyright Date
1999
Target Audience
Scholarly & Professional
Topic
Software Development & Engineering / Quality Assurance & Testing, Computer Science
Lccn
99-017979
Dewey Decimal
004.2/1
Dewey Edition
21
Illustrated
Yes
Genre
Computers
Artikelbeschreibung des Verkäufers
Rechtliche Informationen des Verkäufers
Marhoefer Roberts, LLC
Richard Roberts
3200 Walnut St
15132 McKeesport, PA
United States
Ich versichere, dass alle meine Verkaufsaktivitäten in Übereinstimmung mit allen geltenden Gesetzen und Vorschriften der EU erfolgen.
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:275872475143
Verpackung und Versand
Artikelstandort:
Mckeesport, PA, USA
Versand nach:
Afghanistan, Albanien, Algerien, Andorra, Angola, Anguilla, Antigua und Barbuda, Argentinien, Armenien, Aruba, Aserbaidschan, Australien, Bahamas, Bahrain, Bangladesch, Belgien, Belize, Benin, Bermuda, Bhutan, Bolivien, Bosnien und Herzegowina, Botsuana, Brasilien, Brunei Darussalam, Bulgarien, Burkina Faso, Burundi, Chile, China, Costa Rica, Côte d'Ivoire (Elfenbeinküste), Demokratische Republik Kongo, Deutschland, Dominikanische Republik, Dschibuti, Dänemark, Ecuador, El Salvador, Eritrea, Estland, Fidschi, Finnland, Frankreich, Gabun, Gambia, Georgien, Ghana, Gibraltar, Grenada, Griechenland, Grönland, Guatemala, Guinea, Guinea-Bissau, Guyana, Haiti, Honduras, Hongkong, Indien, Indonesien, Irland, Island, Israel, Italien, Jamaika, Japan, Jemen, Jordanien, Kaimaninseln, Kambodscha, Kamerun, Kanada, Kapverdische Inseln, Kasachstan, Katar, Kenia, Kirgisistan, Kiribati, Kolumbien, Kuwait, Laos, Lesotho, Lettland, Libanon, Liberia, Liechtenstein, Litauen, Luxemburg, Macau, Madagaskar, Malawi, Malaysia, Malediven, Mali, Malta, Marokko, Mauretanien, Mauritius, Mazedonien, Mexiko, Moldawien, Monaco, Mongolei, Montenegro, Montserrat, Mosambik, Namibia, Nauru, Nepal, Neuseeland, Nicaragua, Niederlande, Niger, Nigeria, Norwegen, Oman, Pakistan, Panama, Papua-Neuguinea, Paraguay, Peru, Philippinen, Polen, Portugal, Republik Kongo, Republik Kroatien, Ruanda, Rumänien, Salomonen, Sambia, Samoa (Westsamoa), San Marino, Saudi-Arabien, Schweden, Schweiz, Senegal, Serbien, Seychellen, Sierra Leone, Simbabwe, Singapur, Slowakei, Slowenien, Spanien, Sri Lanka, St. Kitts und Nevis, St. Lucia, St. Vincent und die Grenadinen, Suriname, Swasiland, Südafrika, Südkorea, Tadschikistan, Taiwan, Tansania, Thailand, Togo, Tonga, Trinidad und Tobago, Tschad, Tschechische Republik, Tunesien, Turkmenistan, Turks- und Caicosinseln, Türkei, USA, Uganda, Ungarn, Uruguay, Usbekistan, Vanuatu, Vatikan, Vereinigte Arabische Emirate, Vereinigtes Königreich, Vietnam, Wallis und Futuna, Zentralafrikanische Republik, Zypern, Ägypten, Äquatorialguinea, Äthiopien, Österreich
Ausgeschlossen:
Amerikanisch-Samoa, Barbados, Britische Jungferninseln, Cookinseln, Dominica, Falklandinseln (Malwinen), Französisch-Guayana, Französisch-Polynesien, Guadeloupe, Guam, Irak, Jungferninseln (USA), Komoren, Libyen, Marshallinseln, Martinique, Mayotte, Mikronesien, Neukaledonien, Niederländische Antillen, Niue, Palau, Puerto Rico, Russische Föderation, Réunion, Somalia, St. Helena, Tuvalu, Ukraine, Venezuela, Westsahara
| Verpackung und Versand | Jeder zusätzliche Artikel | Nach | Service | Lieferung*Siehe Lieferhinweise |
|---|---|---|---|---|
| Kostenloser Versand | Kostenlos | USA | Sparversand (USPS Media MailTM) | Lieferung zwischen Mi, 8. Mai und Mo, 13. Mai nach 43230 |
| Bearbeitungszeit |
|---|
| Der Verkäufer verschickt den Artikel innerhalb von 2 Werktagen nach Zahlungseingang. |
| Steuern |
|---|
| Verkäufer berechnet Steuern in |
Mehrwertsteuer für diesen Artikel #275872475143
Mehrwertsteuer für diesen Artikel #275872475143
Der Verkäufer berechnet Mehrwertsteuer für Artikel, die in die folgenden Bundesstaaten verschickt werden:
| Bundesstaat | Steuersatz für Sales Tax |
|---|
Rücknahmebedingungen
| Frist für Kontaktaufnahme mit dem Verkäufer nach Erhalt Artikels: | Rückerstattung erfolgt in folgender Form: | Rücksendung |
|---|---|---|
| 30 Tage | Geld zurück | Verkäufer zahlt Rückversand |
Der Verkäufer trägt die Rücksendekosten.
| Rücknahmebedingungen im Detail |
|---|
| Rücknahme akzeptiert |
Zahlungsdaten
Zahlungsmethoden
Beliebte Kategorien in diesem Shop
Angemeldet als gewerblicher Verkäufer
Verkäuferbewertungen (227.854)
r***4 (24)- Bewertung vom Käufer.
Letzter Monat
Bestätigter Kauf
Good
c***q (375)- Bewertung vom Käufer.
Letzter Monat
Bestätigter Kauf
Thanks for a great experience.
d***g (945)- Bewertung vom Käufer.
Letzter Monat
Bestätigter Kauf
Brand new, great condition.