Anbieter: World of Books (was SecondSale), Montgomery, IL, USA
Zustand: Very Good. Item in very good condition! Textbooks may not include supplemental items i.e. CDs, access codes etc.
Anbieter: World of Books (was SecondSale), Montgomery, IL, USA
Zustand: Acceptable. Item in acceptable condition! Textbooks may not include supplemental items i.e. CDs, access codes etc.
Sprache: Englisch
Verlag: O'Reilly Media, Incorporated, 2005
ISBN 10: 0596008783 ISBN 13: 9780596008789
Anbieter: Better World Books, Mishawaka, IN, USA
Zustand: Very Good. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Anbieter: ThriftBooks-Reno, Reno, NV, USA
Paperback. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
Anbieter: ThriftBooks-Dallas, Dallas, TX, USA
Paperback. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USA
Paperback. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
Anbieter: World of Books (was SecondSale), Montgomery, IL, USA
Zustand: Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc.
Sprache: Englisch
Verlag: O'Reilly Media, Incorporated, 2005
ISBN 10: 0596008783 ISBN 13: 9780596008789
Anbieter: Better World Books Ltd, Dunfermline, Vereinigtes Königreich
EUR 5,62
Anzahl: 1 verfügbar
In den WarenkorbZustand: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Zustand: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.
Sprache: Englisch
Verlag: O'Reilly Media (edition 1), 2023
ISBN 10: 1098117697 ISBN 13: 9781098117696
Anbieter: BooksRun, Philadelphia, PA, USA
Paperback. Zustand: Very Good. 1. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting.
Anbieter: World of Books (was SecondSale), Montgomery, IL, USA
Zustand: Very Good. Item in very good condition! Textbooks may not include supplemental items i.e. CDs, access codes etc.
Anbieter: medimops, Berlin, Deutschland
Zustand: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
EUR 36,98
Anzahl: 2 verfügbar
In den WarenkorbPAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
Anbieter: WorldofBooks, Goring-By-Sea, WS, Vereinigtes Königreich
EUR 35,97
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Good. The book has been read but remains in clean condition. All pages are intact and the cover is intact. Some minor wear to the spine.
Anbieter: WorldofBooks, Goring-By-Sea, WS, Vereinigtes Königreich
EUR 35,97
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
EUR 35,70
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. illustrated edition. 254 pages. 9.25x7.00x0.75 inches. In Stock.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 43,05
Anzahl: 2 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Kennys Bookstore, Olney, MD, USA
Zustand: New. 2023. Paperback. . . . . . Books ship from the US and Ireland.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 57,82
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 400 pages. 9.19x7.00x0.95 inches. In Stock.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,06
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,06
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: moluna, Greven, Deutschland
EUR 30,52
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. Some corporations are beginning to rethink how they provide security, so that interactions with customers, employees, partners, and suppliers will be richer and more flexible. This book explains how to go about it. It details an important concept known as .
EUR 38,00
Anzahl: 2 verfügbar
In den WarenkorbZustand: NEW.
Zustand: New. Über den AutorPhil Windley is a Principal Engineer in the Office of Information Technology at Brigham Young University. He was the Founding Chair of the Sovrin Foundation, serving from 2016 to 2020. He is also the co-founder and org.
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Neuware.
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 8th International Conference on Higher Order Logic Theorem Proving and Its Applications, held in Aspen Grove, Utah, USA in September 1995.The 26 papers selected by the program committee for inclusion in this volume document the advances in the field achieved since the predecessor conference. The papers presented fall into three general categories: representation of formalisms in higher order logic; applications of mechanized higher order logic; and enhancements to the HOL and other theorem proving systems.
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volumecontains the proceedingsof the Second InternationalConferenceon Formal Methods in Computer-Aided Design (FMCAD 98), organized November 4-6, in Palo Alto, California, USA. The rst event of this series was organized byMandayamSrivasand Albert Camilleriin 1996 inPaloAlto. FMCAD,which evolved from the series Theorem Provers in Circuit Design (TPCD), strives to beapremierforumfordisseminatingresearchinFormalVeri cation(FV) me- ods for digital circuits and systems, including processors, custom VLSI circuits, microcode,andreactivesoftware.Inadditiontosigni cantcase-studiesandve- cationapproaches,FMCADalsoendeavorstorepresentadvancesinthedriving technologies for veri cation, including binary decision diagrams, model che- ing,symbolicreasoning(theorem proving),symbolicsimulation,andabstraction methods. Theconferenceincludedfourinvitedlectures.Theinvitedlecturesweregiven by Kenneth McMillan (Cadence Berkeley Labs) on Minimalist proof assistants: interactions of technology and methodology in formal system level veric ation , by Carl-Johan Seger on Formal methods in CAD from an industrial perspective, by Randal E. Bryant and Bwolen Yang on A performance study of BDD-based model checking, and by Amir Pnueli on Veric ation of data-insensitive circuits: an in-order-retirement case study. Of the 55 regular paper submissionsreceived, 27 were selected by the technical program committee for presentation at the conference. All four tools papers received were also selected. We gratefully acknowledge the services of the technical program comm- tee of FMCAD 98, which consisted of Adnan Aziz (Univ. of Texas at Austin, USA),AlanHu(Univ.ofBritishColumbia,Canada),Albert Camilleri(Hewlett- Packard,USA), CarlPixley(Motorola,USA), CarlosDelgadoKloos (Univ. C- los III de Madrid,Spain), Ching-TsunChou (Intel, USA), EduardCerny (Univ.
Taschenbuch. Zustand: Neu. Higher Order Logic Theorem Proving and Its Applications | 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings | E. Thomas Schubert (u. a.) | Taschenbuch | viii | Englisch | 1995 | Springer | EAN 9783540602750 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Taschenbuch. Zustand: Neu. Formal Methods in Computer-Aided Design | Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings | Ganesh Gopalakrishnan (u. a.) | Taschenbuch | x | Englisch | 1998 | Springer | EAN 9783540651918 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.