Melham Thomas (21 results)
The World's wild shores
Jennifer C. Urquhart, Thomas O'Neill, Tom Melham, Loren McIntyre, Christine Eckstrom
- Softcover
Seller: Foggypaws, Sonoma, CA, U.S.A.Foggypaws
Contact seller5-star sellerCondition: Used - Fine
£ 3.50
£ 6.06 shippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: Fine. Hardcover in like new condition. All inside pages are mint. Minor shelf wear to the dust jacket.
Excursion to Enchantment: A Journey to the World's Most Beautiful Places Chris Eckstrom Lee; Paul Martin; Tom Melham; Thomas O'Neill; Cynthia Russ Ramsay; Jennifer C. Urquhart; Tom Bean; Medford Taylor Annie Griffiths Belt; Paul Chesley and Nicholas De Vore III
Chris Eckstrom Lee [Collaborator]; Paul Martin [Collaborator]; Tom Melham [Collaborator]; Thomas O'Neill [Collaborator]; Cynthia Russ Ramsay [Collaborator]; Jennifer C. Urquhart [Collaborator]; Tom Bean [Photographer]; Medford Taylor Annie Griffiths Belt [Photographer]; Paul Chesley [Photographer]; Nicholas De Vore III [Photographer];
- Hardcover
Seller: GridFreed, San Diego, CA, U.S.A.GridFreed
Contact seller5-star sellerCondition: New
£ 15.58
£ 5.27 shippingShips within U.S.A.Quantity: 1 available
Hardcover. Condition: New. In shrink wrap.
Majestic Island Worlds
Leslie Allen; Ron Fisher [Collaborator]; Christine Eckstrom Lee [Collaborator]; Tom Melham [Collaborator]; Thomas O''Neill [Collaborator]; Cynthia Russ Ramsay [Collaborator]; Sam Abell [Photographer]; Paul Von Baich [Photographer]; Paul Chesley [Photographer]; Bill Curtsinger [Photographer];
- Hardcover
Seller: GridFreed, San Diego, CA, U.S.A.GridFreed
Contact seller5-star sellerCondition: New
£ 16.49
£ 5.27 shippingShips within U.S.A.Quantity: 1 available
Board book. Condition: New. In shrink wrap.
Published by National Geographic, Washington, D. C. 1989
- Hardcover
- First Edition
Seller: Voyageur Book Shop, Milwaukee, WI, U.S.A.Voyageur Book Shop
Contact seller5-star sellerHardcover. Condition: Fine. Dust Jacket Condition: Very Good. First Edition. 199pp. No further printings listed. Size: 4to - over 9¾" - 12" tall. X2.
Published by National Geographic Society 1991
- Hardcover
Seller: Basement Seller 101, Cincinnati, OH, U.S.A.Basement Seller 101
Contact seller5-star sellerHardcover. Condition: New.
Published by National Geographic Society, US 1987
- Hardcover
Seller: Keeper of the Page, Enumclaw, WA, U.S.A.Keeper of the Page
Contact seller5-star sellerHardcover. Condition: New. Fine DJ. National Geographic Society 1987 New/Fine DJ Very Fine. Light-blue embossed palm tree on leather-like boards with silver spine lettering. Green end papers. Bright glossy color photos with maps on pages. Bright glossy dust jacket picturing two Japanese geishas all decked out in kimono with para…sol on small red arched bridge. 199 pages with index. In Plastic. LARGE HEAVY ITEM 1.62 Pounds. Size: 10 1/4 x 7 1/8 x 5/8 inches. No Exp.
- Softcover
Seller: Better World Books, Mishawaka, IN, U.S.A.Better World Books
Contact seller5-star sellerCondition: Used - Good
£ 42.37
Free ShippingShips within U.S.A.Quantity: 2 available
Condition: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller4-star sellerCondition: New
£ 53.11
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Language: English
Published by Cambridge University Press CUP 1993
Series: Cambridge Tracts in Theoretical Computer Science, Book 30 of 40. Book 30 of 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 59.78
£ 3.03 shippingShips within U.S.A.Quantity: 1 available
Condition: New. pp. 180.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 50.80
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Language: English
Published by Cambridge University Press 1993
Series: Cambridge Tracts in Theoretical Computer Science, Book 30 of 40. Book 30 of 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
£ 59.09
£ 6.50 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: New. pp. 180 69:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Case Laminate on White w/Gloss Lam.
Language: English
Published by Cambridge University Press 1993
Series: Cambridge Tracts in Theoretical Computer Science, Book 30 of 40. Book 30 of 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
£ 60.27
£ 8.57 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: New. pp. 180.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 47.46
£ 54.85 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume presents the proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and Its Applications held in Valetta, Malta in September 1994.Besides 3 invited papers, the proceedings contains 27 refereed papers selecte…d from 42 submissions. In total the book presents many new results by leading researchers working on the design and applications of theorem provers for higher order logic. In particular, this book gives a thorough state-of-the-art report on applications of the HOL system, one of the most widely used theorem provers for higher order logic.
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 44.59
£ 60.31 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Higher Order Logic Theorem Proving and Its Applications | 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings | Thomas F. Melham (u. a.) | Taschenbuch | xi | Englisch | 1994 | Springer | EAN 9783540584506 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergarte…nstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
£ 92.00
£ 25.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Like New. Like New. book.
Language: English
Published by Cambridge University Press 1993
Series: Cambridge Tracts in Theoretical Computer Science, Book 30 of 40. Book 30 of 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 176.91
£ 53.85 shippingShips from Germany to U.S.A.Quantity: 1 available
Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This 1993 book shows how formal logic can be used to specify the behaviour of hardware designs and reason about their correctness. A primary theme of the book is the use of abstraction in hardware specification and verification. The author describes how c…ertain fundamental abstraction mechanisms for hardware verification can be formalised in logic and used to express assertions about design correctness and the relative accuracy of models of hardware behaviour. His approach is pragmatic and driven by examples. He also includes an introduction to higher-order logic, which is a widely used formalism in this subject, and describes how that formalism is actually used for hardware verification. The book is based in part on the author's own research as well as on graduate teaching. Thus it can be used to accompany courses on hardware verification and as a resource for research workers.
Published by Springer-Verlag (1994), Berlin / Heidelberg 1994
- Softcover
Seller: Expatriate Bookshop of Denmark, Svendborg, DenmarkExpatriate Bookshop of Denmark
Contact seller5-star sellerCondition: Used
£ 46.08
£ 47.39 shippingShips from Denmark to U.S.A.Quantity: 1 available
orig. wrappers. Condition: Minor wear. VG. 24x16cm, ix,470 pp., Weighs 700 grams. Series: Lecture Notes in Computer Science, 859. Full title reads: "Higher Order Logic Theorem Proving and Its Applications : 7th International Workshop, Valletta, Malta, September 19-22, 1994 : Proceedings".
Language: English
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 1994 1994
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 47.46
£ 19.82 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume presents the proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and Its Applications held in Valetta, Malta in September 1994.Besides 3 invited papers, the proceedings contains 27 referee…d papers selected from 42 submissions. In total the book presents many new results by leading researchers working on the design and applications of theorem provers for higher order logic. In particular, this book gives a thorough state-of-the-art report on applications of the HOL system, one of the most widely used theorem provers for higher order logic. 488 pp. Englisch.
- Softcover
- Print on Demand
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
£ 42.92
£ 42.21 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume presents the proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and Its Applications held in Valetta, Malta in September 1994.Besides 3 invited papers, the proceedings cont…ains 27 refereed papers selected fro.
- Softcover
- Print on Demand
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000
Contact seller5-star sellerCondition: New
£ 47.46
£ 51.69 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume presents the proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and Its Applications held in Valetta, Malta in September 1994.Besides 3 invited papers, the proceedings contains 27 refereed pa…pers selected from 42 submissions. In total the book presents many new results by leading researchers working on the design and applications of theorem provers for higher order logic. In particular, this book gives a thorough state-of-the-art report on applications of the HOL system, one of the most widely used theorem provers for higher order logic.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 488 pp. Englisch.
Language: English
Published by Cambridge University Press 2012
Series: Cambridge Tracts in Theoretical Computer Science, Book 30 of 40. Book 30 of 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
- Print on Demand
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
£ 131.54
£ 42.21 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This 1993 book shows how formal logic can be used to specify the behaviour of hardware designs and reason about their correctness. The book is based in part on the author s own research as well as on graduate teaching…. Thus it can be used to accompany cours.
