Hoare m e (12 Ergebnisse)

- Hardcover
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, , Deutschlandbooks4less (Versandantiquariat Petra Gros GmbH & Co. KG)
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 17,95
EUR 19,95 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
gebundene Ausgabe. Zustand: Gut. 478 Seiten Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich neben dem Rückenschild lediglich ein Bibliotheksstempel im Buch; ordnungsgemäß entwidmet. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 910.

- Hardcover
Anbieter: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Vereinigtes KönigreichHay-on-Wye Booksellers
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht - Gut
EUR 10,38
EUR 28,97 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: Very Good. Minor shelf wear on jacket and resadue from a sticker on first blank page. Content is fine.

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]
Sprache: Englisch
Verlag: Englewood Cliffs, N.J. : Prentice-Hall, 1975 1975
- Hardcover
Anbieter: Joseph Valles - Books, Stockbridge, GA, USAJoseph Valles - Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Sehr gut
EUR 37,38
EUR 14,65 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Hardcover. Zustand: Fine. Zustand des Schutzumschlags: 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 Programmig and Calculi of Discrete Design
Bauer, F.L.; Broy, M.; Dijkstra, E.W.; Hoare, C.A.R. (Directors); Broy, Manfred (Editor)
- Hardcover
Anbieter: PsychoBabel & Skoob Books, Didcot, Vereinigtes KönigreichPsychoBabel & Skoob Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 46,54
EUR 14,48 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Hardcover. Zustand: Very Good. No Dust Jacket. Hardcover with printed boards, no dust jacket, in very good condition. Boards are slightly marked, and edges and spine ends are bumped and nicked in places. Page block is lightly tanned and blemished, page edges are a little tanned, and previous owner's name penned to front end-pape…r. Pages are otherwise clear and binding is sound. LW. Used.

- Hardcover
- Erstausgabe
Anbieter: CURIO, Cleethorpes, North East Lincolnshire, Vereinigtes KönigreichCURIO
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 29,83
EUR 34,76 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Hardcover. Zustand: Very Good. Zustand des Schutzumschlags: Very Good. 1st Edition. First Edition / First Print. Hardback copy in blue boards with gold gilt lettering to spine. Unclipped dustjacket in new removable protective clear sleeve. 287pp. B/w photographs throughout. Not library copy, no underlined or highlighted text, no… notes in margins. Neat ink inscription to ffep, few marks to dustjacket. (36/5).

Downstream Processing
Bell, D. J.; Dunnill, P.; Esser, K.; Flaschel, E.; Hoare, M.; Holló, J.; Kula, M.-R.; Lang-Hinrichs, Ch.; Nyeste, L.; Pécs, M.; Sevella, B.; Wandrey, Ch.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 60,62
EUR 13,88 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.

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
- Hardcover
Anbieter: Zubal-Books, Since 1961, Cleveland, OH, USAZubal-Books, Since 1961
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 102,74
EUR 3,89 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: Good. *Price HAS BEEN REDUCED by 10% until Monday, June 15 (sale item)* 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 du…ties, taxes, or fees required by recipient's country. Photos available upon request.

- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 115,62
EUR 13,88 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.

- Softcover
Anbieter: Revaluation Books, Exeter, , Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 157,99
EUR 14,48 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. reprint edition. 486 pages. 9.40x6.80x1.10 inches. In Stock.

- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 106,99
EUR 64,17 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: 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 comprehensi…ve 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.

- Softcover
Anbieter: Revaluation Books, Exeter, , Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 234,43
EUR 11,59 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. reprint edition. 219 pages. 9.61x6.70x0.60 inches. In Stock.

Verlag: Hawthorn Press, Melbourne 1976
- Hardcover
- Signiert
Anbieter: PEMBERLEY NATURAL HISTORY BOOKS BA, ABA, Iver, , Vereinigtes KönigreichPEMBERLEY NATURAL HISTORY BOOKS BA, ABA
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 77,57
EUR 25,49 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: Very Good. x, 419, . . HB. 8vo, orig. buckram, gt. Vg in worn dw (a few tears, minor loss; in removable protective sleeve). Signed by the Author. Newspaper cutting announcing the death of the author pasted in. The most controversial, most maligned, and least understood of those who sailed with Captain Cook is how Michae…l Hoare describes Johann Forster. In this first full length biography, Hoare described Forster's accomplishments, contributions to the sciences of natural history, geology, ethnology, and cartography, and his life in England.