Trace Theory For Automatic Hierarchical Verification Of Speed-Independent Circuits (Acm Distinguished Dissertation)
Sprache: Englisch
Verlag: Mit Press, Cambridge Ma, 1989
- Erstausgabe
- Hardcover
- Gebraucht

Anbieter: Arroyo Seco Books, Pasadena, Member IOBA, Pasadena, CA, USAArroyo Seco Books, Pasadena, Member IOBA
Verkäufer:in bei ZVAB seit 25. August 1999
Verbandsmitglied: IOBA
Zustand: Gebraucht - Gut bis sehr gut
EUR 69,78
Anzahl: 1 verfügbar
In den WarenkorbArtikelbeschreibung des Verkäufers
[Xvi], 163 Pp + 1 Pp Catalog At End. Black Boards Stamped In White And Blue. First Printing. Lightly Used, No Marks. David Lansing Dill (Born January 8, 1957) Is A Computer Scientist And Academic Noted For Contributions To Formal Verification, Electronic Voting Security, And Computational Systems Biology. In 2013, Dill Was Elected As A Member Into The National Academy Of Engineering For The Development Of Techniques To Verify Hardware, Software, And Electronic Voting Systems. He Is The Donald E. Knuth Professor, Emeritus, In The School Of Engineering And Professor, Emeritus, Of Computer Science At Stanford University. Dill Is A Fellow Of The Acm And The Ieee. His Dissertation Won The Acm Distinguished Dissertation Award In 1988, And In The Same Year, He Was Named A Presidential Young Investigator. He Received Best Paper Awards At The Ieee International Conference On Computer Design In 1991 And At The Design Automation Conference In Both 1993 And 1998. He Received The Electronic Frontier Foundation Pioneer Award In 2004 For Spearheading And Nurturing The Popular Movement For Integrity And Transparency In Modern Elections. In 2008, He And Rajeev Alur Received The Computer Aided Verification Award For Fundamental Contributions To The Theory Of Real-Time Systems Verification. In 2010, He Received Two Test Of Time Awards From The Logic In Computer Science Conference (For Papers Published In Lics In 1990). In 2013, He Was Elected To The National Academy Of Engineering And The American Academy Of Arts And Sciences. In 2016, He And Rajeev Alur Received The Alonzo Church Award For Outstanding Contributions To Logic, From The Acm Special Interest Group For Logic And Computation (Siglog), The European Association For Theoretical Computer Science (Eatcs), The European Association For Computer Science Logic (Eacsl), And The Kurt Gödel Society (Kgs). Also In 2016, He Received A Test Of Time Award From The Acm Conference On Computer And Communications Security.…
Bestandsnummer des Verkäufers 047822
- Titel
- Trace Theory For Automatic Hierarchical Verification Of Speed-Independent Circuits (Acm Distinguished Dissertation)
- Autor
- Dill, David L.
- Verlag
- Mit Press, Cambridge Ma
- Erscheinungsjahr
- 1989
- Zustand
- Near Fine
- Einband
- Hardcover
- Sprache
- Englisch
- ISBN-10
- 0262041014
- ISBN-13
- 9780262041010
- Auflage
- 1st Edition
- Druck
- 1st Printing
- Verkäuferkataloge
- Computers and Computing, Mathematics
Asynchronous or speed-independent circuit design has gained renewed interest in the VLSI community because of the possibilities it provides for dealing with problems that arise with the increasing complexity of VLSI circuits. Speed-independent circuits offer a way around such phenomena as clock skew, which can be a serious obstacle in the design of large systems. They can expedite circuit design by reducing design time and simplifying the overall process.
A major challenge to the successful utilization of speed-independent circuits is correctness. The verification method described here insures that a design is correct and because it can be automated it is a significant advantage over manual verification. Dill proposes two distinct theories - prefix-closed trace structures, which can model and specify safety properties, and complete trace structures, which can also deal with liveness and fairness properties.
David L. Dill received his doctorate from Carnegie Mellon University and is Assistant Professor in the Computer Science Department at Stanford University. Trace Theory for Automatic Hierarchical Verification of Speed Independent Circuits is a 1988 ACM Distinguished Dissertation
„Inhaltsangabe“ gehört möglicherweise zu einer anderen Auflage dieses Titels.
Arroyo Seco Books, Pasadena, Member IOBA
Pasadena, CA, USA
Versandkosten innerhalb von USA
| Artikel | 5 bis 14 Werktage | 3 bis 7 Werktage |
|---|---|---|
| Erster Artikel | EUR 8,06 | EUR 25,09 |
Zahlungsarten
- Bar
- Vorauskasse
- Zahlungsanweisung
Shopbeschreibung
Fine and unusual first editions and out of print books in all categories. Original photographs, Fine antiquarian and other original prints, paintings, drawings and watercolors. Motion picture and television scripts. Ephemera, Manuscripts and autographs. In business on the internet since 1999.
Spezialisierung
Scarce books in all fields. Original photographs, Fine antiquarian, Original antiquarian prints (woodcuts, paintings, Motion picture scripts, drawings and watercolors, paintings, graphics, out of printVerbandsmitglied
Die Mitglieder dieser Verbände haben sich verpflichtet, die höchsten Standards einzuhalten. Sie verbürgen sich für die Echtheit aller zum Verkauf angebotenen Artikel. Sie liefern fachkundige und detaillierte Beschreibungen, legen alle wesentlichen Mängel und/oder Restaurierungen offen, bieten klare und genaue Preisangaben und arbeiten während des Kaufprozesses fair und ehrlich.Unternehmensdaten der Verkäuferin bzw. des Verkäufers
Arroyo Seco Books, Pasadena, Member IOBA
CA, USA
Verkaufsbedingungen
Arroyo Seco Books, on-line and by appointment since 1998, lists 20,000 books in all fields, especially science, art, philosophy, social science, literature, and science fiction, and also art, primarily antiquarian and modern prints. We purchase private libraries. Member of IOBA. Open by appointment in Pasadena, California, USA. Contact: Stephen Clauser, email arroyosecobooks@earthlink.net, telephone 626-372-3863.
Widerrufsrecht
Wenn Sie Verbraucher sind, können Sie gemäß den folgenden Bestimmungen vom Vertrag zurücktreten. Verbraucher ist jede natürliche Person, die zu Zwecken handelt, die nicht ihrer kaufmännischen, gewerblichen, künstlerischen oder beruflichen Tätigkeit zugerechnet werden können.
Informationen zum Widerrufsrecht
Gesetzliches Widerrufsrecht
Sie haben das Recht, den Vertrag innerhalb von 14 Tagen ohne Angabe von Gründen zu widerrufen.
Die Widerrufsfrist beträgt 14 Tage ab dem Tag, an dem Sie oder ein von Ihnen benannter Dritter, der nicht der Transporteur ist, die letzte Ware oder den letzten Posten oder das letzte Exemplar in Besitz genommen hat.
Um das Widerrufsrecht auszuüben, füllen Sie auf unserer Website unter „Meine Einkäufe" in „Mein Nutzerkonto" eine eindeutige Erklärung elektronisch aus und senden Sie sie ab. Wir werden Ihnen unverzüglich eine Bestätigung über den Eingang eines solchen Widerrufs auf einem dauerhaften Datenträger (z. B. per E-Mail) übermitteln.
Um die Widerrufsfrist einzuhalten, reicht es aus, dass Sie Ihre Mitteilung über die Ausübung des Widerrufsrechts vor Ablauf der Widerrufsfrist absenden.
Auswirkungen des Widerrufs
Wenn Sie diesen Vertrag widerrufen, erstatten wir Ihnen alle Zahlungen, die wir von Ihnen erhalten haben, einschließlich der Lieferkosten (mit Ausnahme der zusätzlichen Kosten, die entstehen, wenn Sie eine andere Art der Lieferung als die von uns angebotene günstigste Standardlieferung gewählt haben).
Wir können einen Abzug von der Rückerstattung für den Wertverlust der gelieferten Waren vornehmen, wenn der Verlust auf eine unnötige Behandlung durch Sie zurückzuführen ist.
Wir werden die Rückerstattung unverzüglich und nicht später als 14 Tage nach dem Tag vornehmen, an dem wir über Ihre Entscheidung, diesen Vertrag zu widerrufen, informiert wurden.
Für die Rückerstattung verwenden wir dasselbe Zahlungsmittel, das Sie für die ursprüngliche Transaktion verwendet haben, es sei denn, Sie haben ausdrücklich etwas anderes vereinbart; in keinem Fall werden Ihnen aufgrund einer solchen Rückerstattung Gebühren berechnet.
Wir können die Rückzahlung verweigern, bis wir die Waren wieder zurückerhalten haben oder Sie den Nachweis erbracht haben, dass Sie die Waren zurückgesandt haben, je nachdem, was eher eintritt.
Sie müssen die Waren unverzüglich und in jedem Fall spätestens 14 Tage ab dem Tag, an dem Sie uns über den Widerruf dieses Vertrags unterrichten, an Arroyo Seco Books, Pasadena, Member IOBA, Pasadena, California, U.S.A., +1 626-372-3863, zurücksenden oder übergeben. Die Frist ist eingehalten, wenn Sie die Ware vor Ablauf der Frist von 14 Tagen zurücksenden. Sie müssen die direkten Kosten der Rücksendung der Waren tragen. Sie haften nur für einen etwaigen Wertverlust der Waren, der auf eine Behandlung zurückzuführen ist, die nicht zur Prüfung der Art, Eigenschaften und Funktionsweise der Waren erforderlich ist.
Ausnahmen vom Widerrufsrecht
Das Widerrufsrecht gilt nicht für:
- Die Lieferung von Zeitungen, Zeitschriften oder Magazinen mit Ausnahme von Abonnementverträgen; und
- Die Lieferung digitaler Inhalte, die nicht auf einem physischen Medium (z. B. auf einer CD oder DVD) geliefert werden, wenn Sie bei Ihrer Bestellung akzeptiert haben, dass wir mit der Lieferung beginnen können und dass Sie nach Beginn der Lieferung den Vertrag nicht mehr widerrufen können.
Versandbedingungen
Postage, handling and insurance are extra, at estimated cost and processing fee. Shipment at standard rates is for small to standard sized books via media mail within U.S., or via Priority Mail envelope overseas, with tracking. Standard shipping costs are based on books of standard size with shipping weight of 4 pounds or less; if a book order is heavier or oversized, extra shipping costs may be charged. Non-standard and higher-valued international shipments are charged estimated postage and shipping costs, including full insurance for all shipments valued over $200. The full purchase price is always indicated on the Customs statement.