Moore j strother (65 risultati)
- Rilegato
Da: BookDepart, Shepherdstown, WV, U.S.A.BookDepart
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 16,82
EUR 7,30 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: UsedGood. Hardcover; surplus library copy with the usual stampings; reference number taped to spine; fading, scuffing, and shelf wear to exterior; in good condi tion with clean text, firm binding.
- Rilegato
- Prima edizione
Da: Rivermead Books, Southampton., Regno UnitoRivermead Books
Contatta il venditoreVenditore con 1 stelleCondizione: Usato - Molto buono
EUR 10,80
EUR 24,47 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Hard Cover. Condizione: 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)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 42,72
EUR 2,28 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: As New. Unread book in perfect condition. Bibby, Duane (illustratore).
Little Prover
Friedman, Daniel P.; Eastlund, Carl; Bibby, Duane (ILT); Moore, J. Strother (FRW); Felleisen, Matthias (AFT)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 42,80
EUR 2,28 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. Bibby, Duane (illustratore).
- Rilegato
Da: Bay State Book Company, North Smithfield, RI, U.S.A.Bay State Book Company
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 49,90
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: good. The book is in good condition with all pages and cover intact, including the dust jacket if originally issued. The spine may show light wear. Pages may contain some notes or highlighting, and there might be a "From the library of" label. Boxed set packaging, shrink wrap, or included media like CDs may be missin…g.
- Rilegato
Da: HPB-Red, Dallas, TX, U.S.A.HPB-Red
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 47,94
EUR 3,24 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
hardcover. Condizione: 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.
- Rilegato
Da: HPB-Red, Dallas, TX, U.S.A.HPB-Red
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Discreto
EUR 47,94
EUR 3,24 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
hardcover. Condizione: 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.
- Rilegato
Da: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.ThriftBooks-Atlanta
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Discreto
EUR 51,50
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less.
- Brossura
Da: Chiron Media, Wallingford, Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 45,03
EUR 18,05 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: New. Bibby, Duane (illustratore).
Little Prover
Friedman, Daniel P.; Eastlund, Carl; Bibby, Duane (ILT); Moore, J. Strother (FRW); Felleisen, Matthias (AFT)
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 45,34
EUR 17,48 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Condizione: New. Bibby, Duane (illustratore).
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 55,30
EUR 11,65 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Brand New. 1st edition. 229 pages. 9.25x7.00x0.50 inches. In Stock. Bibby, Duane (illustratore).
Little Prover
Friedman, Daniel P.; Eastlund, Carl; Bibby, Duane (ILT); Moore, J. Strother (FRW); Felleisen, Matthias (AFT)
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 51,66
EUR 17,48 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Condizione: As New. Unread book in perfect condition. Bibby, Duane (illustratore).
- Brossura
Da: Chiron Media, Wallingford, Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 57,39
EUR 18,05 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Paperback. Condizione: New.
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 60,98
EUR 13,96 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
- Brossura
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 79,37
EUR 3,45 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. pp. 332 Index.
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 79,67
EUR 14,57 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. 332 pages. 9.25x6.10x0.75 inches. In Stock.
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 111,65
EUR 11,65 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Brand New. 1st edition. 229 pages. 9.25x7.00x0.50 inches. In Stock. Bibby, Duane (illustratore).
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 59,97
EUR 62,53 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: 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…from 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.
- Rilegato
Da: HPB-Red, Dallas, TX, U.S.A.HPB-Red
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 123,86
EUR 3,24 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
hardcover. Condizione: 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.
Computer-Aided Reasoning: ACL2 Case Studies (Advances in Formal Methods, 4)
Kaufmann, Matt [Editor]; Manolios, Panagiotis [Editor]; Moore, J Strother [Editor];
- Rilegato
Da: Symposia Community Bookstore INC, Hoboken, NJ, U.S.A.Symposia Community Bookstore INC
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 126,35
EUR 4,33 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
hardcover. Condizione: Very Good. Clean, unmarked pages, except name inside.
Altre immaginiLingua: Inglese
Editore: Academic Pr, 1988
Serie: Libro 3 di 7 - Notes and reports in computer science and applied mathematics
- Rilegato
Da: Blue Fog Books, Arlington Heights, IL, U.S.A.Blue Fog Books
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 133,67
EUR 5,18 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: Good. Sun fading to covers. No names, underlining, notes or highlighting. p1.
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 178,10
EUR 14,57 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Brand New. 1st edition. 291 pages. 9.50x6.50x0.69 inches. In Stock.
- Brossura
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 231,72
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Computer-Aided Reasoning : Acl2 Case Studies
Kaufmann, Matt (EDT); Manolios, Panagiotis (EDT); Moore, J Strother (EDT)
- Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 216,17
EUR 17,48 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 226,92
EUR 13,96 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
- Rilegato
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 226,92
EUR 13,96 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
Computer-Aided Reasoning : Acl2 Case Studies
Kaufmann, Matt (EDT); Manolios, Panagiotis (EDT); Moore, J Strother (EDT)
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 238,61
EUR 2,28 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Altre immagini- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 184,95
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: Neu. Computer-Aided Reasoning | ACL2 Case Studies | Matt Kaufmann (u. a.) | Taschenbuch | xv | Englisch | 2010 | Humana | EAN 9781441949813 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Rilegato
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 258,05
EUR 9,50 spedizioneSpedito da Irlanda a U.S.A.Quantità: 15 disponibili
Condizione: New. Illustrates how the computer-aided reasoning system ACL2 can be used in productive and innovative ways to design, build, and maintain hardware and software systems. This title includes technical papers written by twenty-one contributors that report on self-contained case studies, some of which are sanitized indu…strial projects. Editor(s): Kaufmann, Matt; Manolios, Panagiotis; Moore, J. Strother. Series: Advances in Formal Methods. Num Pages: 337 pages, biography. BIC Classification: UYQE. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 20. Weight in Grams: 1510. . 2000. Hardback. . . . .
- Brossura
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 278,72
EUR 3,45 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. pp. 356.
