Strother moore (65 resultados)
Idioma: Inglés
Editorial: Academic Pr 1988
Serie: Notes and reports in computer science and applied mathematics, Libro 3 de 7. Libro 3 de 7 - Notes and reports in computer science and applied mathematics
- Tapa dura
Librería: ThriftBooks-Atlanta, AUSTELL, Estados Unidos de AmericaThriftBooks-Atlanta
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 20,71
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: Good. No Jacket. Former library book; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
- Tapa dura
Librería: Ammareal, Morangis, FranciaAmmareal
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Muy bueno
EUR 5,55
Envío por EUR 16,50Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: Bon. Ancien livre de bibliothèque. Traces d'usure sur la couverture. Couverture différente. Edition 1981. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Signs of wear on the cover. Different cover.… Edition 1981. Ammareal gives back up to 15% of this item's net price to charity organizations.
- Tapa dura
Librería: Ammareal, Morangis, FranciaAmmareal
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Muy bueno
EUR 5,84
Envío por EUR 16,50Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: Bon. Ancien livre de bibliothèque. Couverture différente. Edition 1980. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Different cover. Edition 1980. Ammareal gives back up to 15% of this item's ne…t price to charity organizations.
- Tapa dura
- Primera edición
Librería: Rivermead Books, Southampton., Reino UnidoRivermead Books
Contactar con el vendedorVendedor de 1 estrellasCondición: Usado - Bueno
EUR 10,71
Envío por EUR 24,27Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hard Cover. Condición: Very Good. No Jacket. First Edition. VG, hardback, white pictorial glazed boards with green titles on tarnished spine, contents are clean and unmarked, 279pp. Ex-Royal Aircraft Establishment Library, weight 500g. International Lecture series in Computer Science. Ex-Library.
Little Prover
Friedman, Daniel P.; Eastlund, Carl; Bibby, Duane (ILT); Moore, J. Strother (FRW); Felleisen, Matthias (AFT)
- Tapa blanda
Librería: GreatBookPrices, Columbia, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 42,47
Envío por EUR 2,27Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: As New. Unread book in perfect condition. Bibby, Duane (ilustrador).
Little Prover
Friedman, Daniel P.; Eastlund, Carl; Bibby, Duane (ILT); Moore, J. Strother (FRW); Felleisen, Matthias (AFT)
- Tapa blanda
Librería: GreatBookPrices, Columbia, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 42,55
Envío por EUR 2,27Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. Bibby, Duane (ilustrador).
- Tapa dura
Librería: HPB-Red, Dallas, Estados Unidos de AmericaHPB-Red
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Regular
EUR 42,80
Envío por EUR 3,23Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
hardcover. Condición: Acceptable. Connecting readers with great books since 1972. Used textbooks may not include companion materials such as access codes, etc. May have condition issues including wear and notes/highlighting. We ship orders daily and Customer Service is our top priority.
- Tapa dura
Librería: ThriftBooks-Dallas, Dallas, Estados Unidos de AmericaThriftBooks-Dallas
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 46,34
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
Little Prover
Friedman, Daniel P.; Eastlund, Carl; Bibby, Duane (ILT); Moore, J. Strother (FRW); Felleisen, Matthias (AFT)
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 44,58
Envío por EUR 17,33Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. Bibby, Duane (ilustrador).
- Tapa blanda
Librería: Chiron Media, Wallingford, Reino UnidoChiron Media
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 44,65
Envío por EUR 17,90Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: New. Bibby, Duane (ilustrador).
- Tapa blanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 54,83
Envío por EUR 11,56Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: Brand New. 1st edition. 229 pages. 9.25x7.00x0.50 inches. In Stock. Bibby, Duane (ilustrador).
Little Prover
Friedman, Daniel P.; Eastlund, Carl; Bibby, Duane (ILT); Moore, J. Strother (FRW); Felleisen, Matthias (AFT)
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 51,25
Envío por EUR 17,33Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: As New. Unread book in perfect condition. Bibby, Duane (ilustrador).
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 60,02
Envío por EUR 13,84Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
- Tapa blanda
Librería: Chiron Media, Wallingford, Reino UnidoChiron Media
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 56,90
Envío por EUR 17,90Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Paperback. Condición: New.
- Tapa blanda
Librería: Books Puddle, New York, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 78,46
Envío por EUR 3,43Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. pp. 332 Index.
- Tapa blanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 79,08
Envío por EUR 14,45Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Paperback. Condición: Brand New. 332 pages. 9.25x6.10x0.75 inches. In Stock.
Idioma: Inglés
Editorial: Elsevier 1988
Serie: Notes and reports in computer science and applied mathematics, Libro 3 de 7. Libro 3 de 7 - Notes and reports in computer science and applied mathematics
- Tapa dura
Librería: Books Puddle, New York, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 94,91
Envío por EUR 3,43Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: New. pp. xvi + 408 Index.
Idioma: Inglés
Editorial: Elsevier 1988
Serie: Notes and reports in computer science and applied mathematics, Libro 3 de 7. Libro 3 de 7 - Notes and reports in computer science and applied mathematics
- Tapa dura
Librería: Majestic Books, Hounslow, Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 93,72
Envío por EUR 7,51Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: New. pp. xvi + 408.
Idioma: Inglés
Editorial: Elsevier 1988
Serie: Notes and reports in computer science and applied mathematics, Libro 3 de 7. Libro 3 de 7 - Notes and reports in computer science and applied mathematics
- Tapa dura
Librería: Biblios, frankfurt am main, AlemaniaBiblios
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 94,06
Envío por EUR 9,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: New. pp. xvi + 408.
- Tapa blanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 107,02
Envío por EUR 11,56Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: Brand New. 1st edition. 229 pages. 9.25x7.00x0.50 inches. In Stock. Bibby, Duane (ilustrador).
Más imágenes- Tapa blanda
Librería: preigu, Osnabrück, Alemaniapreigu
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 50,25
Envío por EUR 70,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Taschenbuch. Condición: Neu. Piton | A Mechanically Verified Assembly-Level Language | J Strother Moore | Taschenbuch | Automated Reasoning Series | viii | Englisch | 2013 | Springer | EAN 9789401737913 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springe…r[dot]com | Anbieter: preigu.
- Tapa dura
Librería: HPB-Red, Dallas, Estados Unidos de AmericaHPB-Red
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 123,14
Envío por EUR 3,23Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
hardcover. Condición: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority.
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 59,97
Envío por EUR 62,53Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Mountaineers use pitons to protect themselves from falls. The lead climber wears a harness to which a rope is tied. As the climber ascends, the rope is paid out by a partner on the ground. As described thus far, the climber receives no protection f…rom the rope or the partner. However, the climber generally carries several spike-like pitons and stops when possible to drive one into a small crack or crevice in the rock face. After climbing just above the piton, the climber clips the rope to the piton, using slings and carabiners. A subsequent fall would result in the climber hanging from the piton-if the piton stays in the rock, the slings and carabiners do not fail, the rope does not break, the partner is holding the rope taut and secure, and the climber had not climbed too high above the piton before falling. The climber's safety clearly depends on all of the components of the system. But the piton is distinguished because it connects the natural to the artificial. In 1987 I designed an assembly-level language for Warren Hunt's FM8501 verified microprocessor. I wanted the language to be conveniently used as the object code produced by verified compilers. Thus, I envisioned the language as the first software link in a trusted chain from verified hardware to verified applications programs. Thinking of the hardware as the 'rock' I named the language 'Piton.
Computer-Aided Reasoning: ACL2 Case Studies (Advances in Formal Methods, 4)
Kaufmann, Matt [Editor]; Manolios, Panagiotis [Editor]; Moore, J Strother [Editor];
- Tapa dura
Librería: Symposia Community Bookstore INC, Hoboken, Estados Unidos de AmericaSymposia Community Bookstore INC
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 125,62
Envío por EUR 4,30Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
hardcover. Condición: Very Good. Clean, unmarked pages, except name inside.
Más imágenesIdioma: Inglés
Editorial: Academic Pr 1988
Serie: Notes and reports in computer science and applied mathematics, Libro 3 de 7. Libro 3 de 7 - Notes and reports in computer science and applied mathematics
- Tapa dura
Librería: Blue Fog Books, Arlington Heights, Estados Unidos de AmericaBlue Fog Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 132,89
Envío por EUR 5,15Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Sun fading to covers. No names, underlining, notes or highlighting. p1.
Idioma: Inglés
Editorial: Academic Pr 1988
Serie: Notes and reports in computer science and applied mathematics, Libro 3 de 7. Libro 3 de 7 - Notes and reports in computer science and applied mathematics
- Tapa dura
Librería: Mispah books, Redhill, Reino UnidoMispah books
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Como Nuevo
EUR 132,12
Envío por EUR 28,89Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
- Tapa blanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 176,60
Envío por EUR 14,45Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: Brand New. 1st edition. 291 pages. 9.50x6.50x0.69 inches. In Stock.
Computer-Aided Reasoning : Acl2 Case Studies
Kaufmann, Matt (EDT); Manolios, Panagiotis (EDT); Moore, J Strother (EDT)
- Tapa dura
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 217,36
Envío por EUR 17,33Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 223,29
Envío por EUR 13,84Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
- Tapa dura
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 223,29
Envío por EUR 13,84Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
