W e hoare (62 resultados)

- Tapa blanda
Librería: Books Puddle, Woodside, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 10,30
Envío por EUR 3,56Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New.

- Tapa blanda
Librería: California Books, Miami, FL, Estados Unidos de AmericaCalifornia Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 18,39
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Editorial: United States Government Printing Office., 1955
- Tapa dura
Librería: Eryops Books, Stephenville, TX, Estados Unidos de AmericaEryops Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 12,83
Envío por EUR 5,36Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponible
Añadir al carritoHardcover. Condición: Very Good. ORIGINAL 1955 PUBLICATION; HARDCOVER; includes five large folded plates in rear pocket (Complete for this publication); ex-corporate libary; in very good condition. Book.

- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 20,61
Envío por EUR 11,05Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In English.

Editorial: TIN RESEARCH INSTITURE, GREENFORD, ENGLAND, 1955
- Tapa blanda
Librería: Princeton Antiques Bookshop / Ruffolo Enterprises, Atlantic City, NJ, Estados Unidos de AmericaPrinceton Antiques Bookshop / Ruffolo Enterprises
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Aceptable
EUR 18,39
Envío por EUR 5,36Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponible
Añadir al carritoPAPER BACK BLUE. Condición: GOOD. Cover is yellowing at edges but otherwise clean and in good condition, two visible staples at spine. Inside is also slightly yellowing, very clean, binding is good. DATE PUBLISHED: 1955 EDITION: 18.
Editorial: Tin Research Institute, Middlesex, 1964
- Tapa blanda
Librería: Victoria Bookshop, BERE ALSTON, DEVON, Reino UnidoVictoria Bookshop
Contactar con el vendedorVendedor de 3 estrellasCondición: Usado - Aceptable
EUR 13,84
Envío por EUR 11,62Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponible
Añadir al carritoPaperback. Condición: G+. 2nd Edition. A good copy. Light blue card covers slightly worn at corners and with minor soiling. 52pp. Binding cracking in one section. pos on inside front cover. Immediate despatch from the UK. 8vo. Book.
Reactions of Free Radicals in the Gas Phase
Sugden, T. M.; R. G. W. Norrish; H. C. Longuet-Higgins; D. E. Hoare; J. H. Knox; et al
Editorial: The Chemical Society, London:, 1957
- Tapa dura
- Primera edición
Librería: About Books, Henderson, NV, Estados Unidos de AmericaAbout Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado
EUR 22,03
Envío por EUR 6,21Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponible
Añadir al carritoHardcover. Condición: Very Good EX-LIBRARY. No Jacket. First Edition. London:: The Chemical Society, 1957. A reasonably tight copy. Inner hinges are perfectly sound. Stamped "WITHDRAWN" on the endpapers. Text pages are crisp and unmarked. No underlining. No highlighting. No margin notes. Illustrated with figures. Graphs. Footnotes/bibliographical references. Bound in the original yellow boards, with a red cloth spine. . First Edition. Hardcover. Very Good EX-LIBRARY./No Jacket. 8vo. (iv), 239pp.…

Techniques of program structure and design [The characteristics of a good computer program -- Top-down program design -- Modular programming -- Structured programming -- Programming style: simplicity and clarity -- Antibugging -- Program testing concepts -- Debugging concepts and techniques]
Yourdon, Edward. [quotes, R M Graham, J N Buxton, A J Perlis, Kenneth Kolence, Edward E David, A D'Agapeyeff, C A R Hoare, J W Smith, M D McIlroy, ; Brian Kernighan, Peter Neely, Bill Plauger, Trish Sharon, Bob Abbott, Lynne Sadkowski, Wendy Eakin]
Idioma: Inglés
Editorial: Englewood Cliffs, N.J. : Prentice-Hall, 1975, 1975
- Tapa dura
Librería: Joseph Valles - Books, Stockbridge, GA, Estados Unidos de AmericaJoseph Valles - Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Excelente
EUR 38,62
Envío por EUR 15,13Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponible
Hardcover. Condición: Fine. Estado de la sobrecubierta: Very Good. 9th printing ; xv, 364 p. : ill. ; 24 cm. ; ISBN: 013901702X; 9780139017025 LCCN: 75-9728 ; LC: QA76.6; Dewey: 001.6/42; NAL: QA76.6.Y68 ; OCLC: 1288391 ; blue and green cloth in like, nicked dustjacket ; Contents: The characteristics of a good computer program -- Top-down program design -- Modular programming -- Structured programming -- Programming style: simplicity and clarity -- Antibugging -- Program testing concepts -- Debugging concepts and techniques -- Class problems and exercises ; FINE/VG. Book.…

Logic of Programming and Calculi of Discrete Design : International Summer School Directed by F.l. Bauer, M. Broy, E.w. Dijkstra, C.a.r. Hoare
Broy, Manfred (EDT); Bauer, F. (CON); Broy, M. (CON); Dijkstra, E. W. (CON); Hoare, C. A. R. (CON)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,87
Envío por EUR 2,36Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.

- Tapa blanda
- Impresión bajo demanda
Librería: Majestic Books, Hounslow, Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 5,04
Envío por EUR 7,67Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. Print on Demand.

Editorial: Tin Research Institute, Greenford, 1948., 1948
Librería: City Basement Books, Melbourne, VIC, AustraliaCity Basement Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado
EUR 7,68
Envío por EUR 21,43Se envía de Australia a Estados Unidos de AmericaCantidad disponible: 1 disponible
Añadir al carritoLimp, 15.5x24.5cm, 112pp. Good condition. General wear, creases and scuff marks. Owner's stamp at front cover. Foxed edges. Stained at fore edge of title page and Contents. Brittle binding; cracked hinges.

Tales of the Air
Johns, W.E.; Wortley, R.S.; Gamble, C.F.G.; Hoare, Samuel; Marben, Rolf; Yeats-Brown, F.; Templer, John
Editorial: University of London Press, London, 1932
- Tapa dura
- Primera edición
Librería: Beach Hut Books, Lingfield, Reino UnidoBeach Hut Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 18,23
Envío por EUR 21,24Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponible
Añadir al carritoHardcover. Condición: Nr. Very Good. No Jacket. First Edition. Includes 'Spy Flier' by W.E.Johns. Prize sticker on front paste down. Pages 75-78 torn out (story by Rolf Madden).

Editorial: Fraser Road, Perivale, Greenford, Middlesex England : Tin Research Institute, 1965., 1965
- Tapa dura
Librería: Joseph Valles - Books, Stockbridge, GA, Estados Unidos de AmericaJoseph Valles - Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 26,67
Envío por EUR 15,13Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponible
Añadir al carritoHardcover. Condición: Very Good. 4th ed. ; 60 pp. ; reinforced blue paper boards ; marks from page 5 to 24 ; Contents: Introduction -- World production of tinplate -- Manufacture of tinplate -- The tin coating -- The steel base -- Quality grading -- Packing -- Ordering -- Testing of tinplate -- Applications of the various coating grades -- Modified trading units -- Bibliography -- Glossary of tinplate terms : English - French - German - Italian - Portuguese - Spanish -- Revised nomenclature for tinplate, UK, 1964. ; 15 tables ; photographs ; W. E. Hoare was director of the International Tin Research Institute, London, and holder of the Verdienstkreuz 1. Klasse of the Federal Republic of Germany, awarded in 1975 in recognition of his services to the metal industries of Germany. ; VG. Book. …

The New Scientist 27 March 1958
Percy Cudlipp (Editor) / Dr Tom Margerison report from Moscow "Russia's New Plan For Scientists" / Dr W E Ripper "Can Weeds Hit Back? The progress of chemical control" / SPECIAL ATOMIC SCIENCE SECTION - J R M Southwood "The Future Development Of Gas-Cooled Reactors" / M F Hoare "Radiation And Oil Cracking" / Sir Lawrence Bragg "An International Survey of Recent Scientific Research"
Editorial: Harrison, Raison and Company Ltd, 1958
- Tapa blanda
- Revista/Periódico
Librería: Shore Books, London, Reino UnidoShore Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 30,38
Envío por EUR 12,98Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponible
Añadir al carritoSoft cover. Condición: Very Good. 48 pages. Dr Tom Margerison report from Moscow "Russia's New Plan For Scientists" / Dr W E Ripper "Can Weeds Hit Back? The progress of chemical control" / SPECIAL ATOMIC SCIENCE SECTION - J R M Southwood "The Future Development Of Gas-Cooled Reactors" / M F Hoare "Radiation And Oil Cracking" / Sir Lawrence Bragg "An International Survey of Recent Scientific Research" (BT#33).…

- Tapa blanda
- Impresión bajo demanda
Librería: Biblios, frankfurt am main, HESSE, AlemaniaBiblios
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 5,57
Envío por EUR 9,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. PRINT ON DEMAND.

Editorial: Tin Research Institute, UK, 1959
- Tapa blanda
Librería: Book Express (NZ), Shannon, Nueva ZelandaBook Express (NZ)
Contactar con el vendedorVendedor de 3 estrellasCondición: Usado - Aceptable
EUR 4,63
Envío por EUR 40,18Se envía de Nueva Zelanda a Estados Unidos de AmericaCantidad disponible: 1 disponible
Añadir al carritoPaperback. Condición: Good. 111 pages.
Editorial: Tin Research Institute, Greenford Middlesex, 1955
- Tapa blanda
- Primera edición
Librería: Webbooks, Wigtown, Wigtown, Reino UnidoWebbooks, Wigtown
Contactar con el vendedorVendedor de 5 estrellasMiembro de asociación: PBFA
Condición: Usado - Aceptable
EUR 14,58
Envío por EUR 35,39Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponible
Añadir al carritoSoft Cover. Condición: Good. No Jacket. First Edition. From an academic library with minimal stamps and labels. 27 pp stapled booklet. Blue paper wraps somewhat dusty. A00003707.

Logic of Programming and Calculi of Discrete Design : International Summer School Directed by F.l. Bauer, M. Broy, E.w. Dijkstra, C.a.r. Hoare
Broy, Manfred (EDT); Bauer, F. (CON); Broy, M. (CON); Dijkstra, E. W. (CON); Hoare, C. A. R. (CON)
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 67,98
Envío por EUR 17,70Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.

Programming and Mathematical Method : International Summer School
Broy, Manfred (EDT); Bauer, F. L. (CON); Dijkstra, E. W. (CON); Hoare, C. A. R. (CON)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 127,46
Envío por EUR 2,36Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: As New. Unread book in perfect condition.

Control Flow and Data Flow: Concepts of Distributed Programming : International Summer School
Bauer, F. L.; Dijkstra, E. W.; Hoare, C. A. R.; Broy, Manfred (EDT)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 127,46
Envío por EUR 2,36Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: As New. Unread book in perfect condition.

Programming and Mathematical Method : International Summer School
Broy, Manfred (EDT); Bauer, F. L. (CON); Dijkstra, E. W. (CON); Hoare, C. A. R. (CON)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 134,96
Envío por EUR 2,36Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: New.

Control Flow and Data Flow: Concepts of Distributed Programming : International Summer School
Bauer, F. L.; Dijkstra, E. W.; Hoare, C. A. R.; Broy, Manfred (EDT)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 135,41
Envío por EUR 2,36Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: New.

Logic of Programming and Calculi of Discrete Design : International Summer School Directed by F.l. Bauer, M. Broy, E.w. Dijkstra, C.a.r. Hoare
Broy, Manfred (EDT); Bauer, F. (CON); Broy, M. (CON); Dijkstra, E. W. (CON); Hoare, C. A. R. (CON)
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 119,07
Envío por EUR 17,70Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.

Constructive Methods in Computing Science : International Summer School Directed by F.l. Bauer, M. Broy, E.w. Dijkstra, C.a.r. Hoare
Bauer, F. L. (EDT); Broy, M. (EDT); Dijkstra, E. W. (EDT); Hoare, C. A. (EDT); Broy, Manfred (EDT)
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 123,77
Envío por EUR 17,70Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.

Logic of Programming and Calculi of Discrete Design : International Summer School Directed by F.l. Bauer, M. Broy, E.w. Dijkstra, C.a.r. Hoare
Broy, Manfred (EDT); Bauer, F. (CON); Broy, M. (CON); Dijkstra, E. W. (CON); Hoare, C. A. R. (CON)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 140,64
Envío por EUR 2,36Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.

- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 129,67
Envío por EUR 13,32Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In English.

Constructive Methods in Computing Science : International Summer School Directed by F.l. Bauer, M. Broy, E.w. Dijkstra, C.a.r. Hoare
Bauer, F. L. (EDT); Broy, M. (EDT); Dijkstra, E. W. (EDT); Hoare, C. A. (EDT); Broy, Manfred (EDT)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 141,10
Envío por EUR 2,36Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: New.
Editorial: Edward Arnold & Co., 1946
- Tapa dura
Librería: Yushodo Co., Ltd., Fuefuki-shi, Yamanashi Pref., JaponYushodo Co., Ltd.
Contactar con el vendedorVendedor de 5 estrellasMiembro de asociación: ILAB
Condición: Usado - Aceptable
EUR 36,45
Envío por EUR 31,25Se envía de Japon a Estados Unidos de AmericaCantidad disponible: 1 disponible
Añadir al carritoHardcover. Condición: Good. viii, 292p.

Constructive Methods in Computing Science: International Summer School (NATO ASI Series F: Computer and Systems Sciences, Volume 55)
Bauer, F.L., Broy, M., Dijkstra, E.W., Hoare, C.A., Broy, Manfred
- Tapa dura
Librería: Zubal-Books, Since 1961, Cleveland, OH, Estados Unidos de AmericaZubal-Books, Since 1961
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 145,28
Envío por EUR 4,02Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponible
Condición: Good. 478 pp., hardcover, ex library, else text and binding clean and tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Photos available upon request.…

- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 114,00
Envío por EUR 35,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponible
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Computing Science is a science of constructive methods. The solution of a problem has to be described formally by constructive techniques, if it is to be evaluated on a computer. The Marktoberdorf Advanced Study Institute 1988 presented a comprehensive survey of the recent research in constructive methods in Computing Science. Some approaches to a methodological framework and to supporting tools for specification, development and verification of software systems were discussed in detail. Other lectures dealt with the relevance of the foundations of logic for questions of program construction and with new programming paradigms and formalisms which have proven to be useful for a constructive approach to software development. The construction, specification, design and verification especially of distributed and communicating systems was discussed in a number of complementary lectures. Examples for those approaches were given on several levels such as semaphores, nondeterministic state transition systems with fairness assumptions, decomposition of specifications for concurrent systems in liveness and safety properties and functional specifications of distributed systems. Construction methods in programming that were presented range from type theory, the theory of evidence, theorem provers for proving properties of functional programs to category theory as an abstract and general concept for the description of programming paradigms.…