Broy m (65 resultados)

- Tapa dura
Librería: Ammareal, Morangis, FranciaAmmareal
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Muy bueno
EUR 6,17
Envío por EUR 4,49Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponible
Hardcover. Condición: Bon. Ancien livre de bibliothèque. Edition 1982. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Edition 1982. Ammareal gives back up to 15% of this item's net price to charity organizations.…
Acta Informatica: Vol. 36, Fasc. 9/10, 2000
Bauer, F. L.; Broy, M.; Dijkstra, E. W.; Gries, D.; Turski, W. M. (eds.)
Editorial: Springer, Heidelberg, 2000
- Tapa blanda
Librería: PsychoBabel & Skoob Books, Didcot, Reino UnidoPsychoBabel & Skoob Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 5,49
Envío por EUR 14,95Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponible
Añadir al carritoPaperback. Condición: Very Good. Paperback journal with very few superficial marks and scores on covers, and lightly worn edges, leading corners and spine ends. Pages are clean and sound throughout; all content is clear. TS. Used.

Methods of programming : selected papers on the CIP project. Lecture notes in computer science ; 544
Idioma: Inglés
Editorial: Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong ; Barcelona ; Budapest : Springer, 1991
- Tapa blanda
Librería: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Alemaniabooks4less (Versandantiquariat Petra Gros GmbH & Co. KG)
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 18,95
Envío por EUR 15,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponible
Broschiert. Condición: Gut. 268 S. Das Buch ist ordentlich erhalten und kann altersbedingte Gebrauchsspuren aufweisen. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 430.

The Munich Project CIP: Volume I: The Wide Spectrum Language CIP-L (Lecture Notes in Computer Science)
Bauer, F.L. [Assistant]; Berghammer, R. [Assistant]; Broy, M. [Assistant]; Dosch, W. [Assistant]; Geiselbrechtinger, F. [Assistant]; Gnatz, R. [Assistant]; Hangel, E. [Assistant]; Hesse, W. [Assistant]; Krieg-Brückner, B. [Assistant]; Laut, A. [Assistant]; Matzner, T. [Assistant]; Möller, B. [Assistant]; Nickl, F. [Assistant]; Partsch, H. [Assistant]; Pepper, P. [Assistant]; Samelson, K. [Assistant]; Wirsing, M. [Assistant]; Wössner, H. [Assistant];
- Tapa blanda
Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de AmericaGuthrieBooks
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 35,19
Envío por EUR 6,28Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponible
Paperback. Condición: Very Good. Sorry, No international shipping on this item.

- Tapa blanda
Librería: HPB-Red, Dallas, TX, Estados Unidos de AmericaHPB-Red
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Regular
EUR 44,62
Envío por EUR 3,37Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponible
paperback. 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: Doss-Haus Books, Redondo Beach, CA, Estados Unidos de AmericaDoss-Haus Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 47,20
Envío por EUR 5,39Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponible
Hardcover. Condición: Very Good. No Jacket. Hardcover 2004 library bound edition. Ex-library book with minimal stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. Series : Lecture Notes in Computer Science ;2890. [xv, 572 p. : ill. ; 24 cm]. …

Idioma: Inglés
Editorial: Dordrecht, Springer Netherlands., 2005
Serie: Libro 153 de 241 - NATO Science Series II: Mathematics, Physics and Chemistry
- Tapa dura
Librería: Universitätsbuchhandlung Herta Hold GmbH, Berlin, AlemaniaUniversitätsbuchhandlung Herta Hold GmbH
Contactar con el vendedorVendedor de 3 estrellasCondición: Usado
EUR 25,00
Envío por EUR 30,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponible
1 online resource (X, 404 pages). Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Nato Science Series II:, Mathematics, Physics and Chemistry, 195. Sprache: Englisch.…

- Tapa blanda
Librería: Better World Books Ltd, Dunfermline, Reino UnidoBetter World Books Ltd
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 53,12
Envío por EUR 5,98Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponible
Condición: 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.

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 58,29
Envío por EUR 2,37Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Más imágenes- Tapa dura
Librería: Studio Bibliografico Marini, ROMA, RM, ItaliaStudio Bibliografico Marini
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 35,00
Envío por EUR 35,00Se envía de Italia a Estados Unidos de AmericaCantidad disponible: 1 disponible
hardcover. Condición: As New. Prima edizione (First Edition). Testo e fotografie a colori a piena pagina di Broy Lim . Cm 30x23. pp. 72. . Perfetto (Mint). . Prima edizione (First Edition). . Questo libro intimo esplora l'esperienza dell' omosessualità dell'Autore nella sua città natale, Singapore, dove rimane ancora illegale. Combinando testi personali e foto, il volume racconta l'identità sessuale di Lim e la sua relazione di nove anni con il suo partner, rappresentando anche la lotta più ampia di molti giovani che vivono la loro sessualità nelle società conservatrici eteronormate. Lim inizia il libro con riproduzione di testi autografi e con tono confessionale comincia così: "La mia verità è sempre stata un intoccabile.". Book. …

- Tapa dura
Librería: Roland Antiquariat UG haftungsbeschränkt, Weinheim, AlemaniaRoland Antiquariat UG haftungsbeschränkt
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado
EUR 32,00
Envío por EUR 42,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponible
Hardcover/Pappeinband. XIII, 658 p.;ill. Good condition. Pages are slightly curled. Reading pages are clean and without marks. Book shows slight signs of storage and usage. Dust jacket with some storage signs. Still good copy. 9789027714602 Sprache: Englisch Gewicht in Gramm: 1021.

Idioma: Inglés
Editorial: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 1979
- Tapa blanda
Librería: Rarewaves.com USA, London, LONDO, Reino UnidoRarewaves.com USA
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 77,15
Gastos de envío gratisSe envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Paperback. Condición: New. 1979 ed.
Más imágenesIdioma: Inglés
Editorial: SHEPTON MALLET LOCAL HISTORY GROUP, SOMERSET ENGLAND, 2011
- Tapa dura
Librería: Highstreet Books ABA ILAB, Honiton, Reino UnidoHighstreet Books ABA ILAB
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 49,27
Envío por EUR 27,50Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponible
Añadir al carritoHardcover. Condición: As New. Estado de la sobrecubierta: As New. Author decided that there was a need for a record for those listed on the Cenotaph who lost their lives in the great war . similar to the Second World War Book of remembrance in Shepton Mallet parish church. He then began the massive task of research and recording the individual stories. 4to , Ppxi, [1], 235 , [1] . This book is a remarkable record of 140 men who died in the First World War .…

Program Construction: International Summer School (Lecture Notes in Computer Science, 69)
Bauer, F.L.; Dijkstra, E.W.; Gerhart, S.L.; Gries, D.; Griffiths, M.; Guttag, J. V.; Horning, J. J.; Owicki, S. S.; Pair, C.; Partsch, H.; Pepper, P.; Wirsing, M.; Wössner, H.
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 66,13
Envío por EUR 17,87Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In English.

- Tapa blanda
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 33,31
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponible
Condición: New. By the CIP Language Group0 : Introduction to the project CIP.- I : Informal survey of the language.- II : Description of the language.- III : Formal definition of the language.Inhaltsverzeichnis0 : Introductio.

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 68,90
Envío por EUR 17,94Se 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 68,86
Envío por EUR 17,87Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In English.

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

- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 62,89
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 - A more formal treatment of a less simple example.- Stationary behaviour of some ternary networks.- Finding the correctness proof of a concurrent program.- On the interplay between mathematics and programming.- A theorem about odd powers of odd integers.- In honour of Fibonacci.- On the foolishness of 'natural language programming'.- Program inversion.- The Schorr-Waite graph marking algorithm.- Eliminating the chaff.- Proofs, programs and their development - The axiomatic approach.- Current ideas in programming methodology.- Basic axiomatic definitions.- The multiple assignment statement.- Is sometimes ever better than always .- A case study in language design: Euclid.- Proof rules for the programming language Euclid.- Verification of Euclid programs.- Specifications and proofs for abstract data types in concurrent programs.- Specification and verification of a network mail system.- From specification to implementation - The formal approach.- Program development by stepwise transformations - The project CIP.- Systematics of transformation rules.- Special transformation techniques.- A study on transformational semantics.- Detailization and lazy evaluation, infinite objects and pointer representation.- Examples for change of types and object structures.- Development of the Schorr-Waite algorithm.- A derivation-oriented proof of the Schorr-Waite marking algorithm.- Languages as tools - Interactive program construction.- Programing languages for reliable computing systems.- Programming methodology and language implications.- Towards a wide spectrum language to support program specification and program development.- Semantics of nondeterministic and noncontinuous constructs.- Notes on type abstraction.- Some theoretical aspects of program construction.…

Das V-modell XT : Grundlagen, methodik und anwendungen -Language: german
Höhn, Reinhard; Höppner, Stephan; Rausch, A. (CON); Broy, M. (CON); Petrasch, R. (CON)
Idioma: Alemán
Editorial: Springer, 2008
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 48,66
Envío por EUR 2,37Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.

- Tapa blanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 87,80
Envío por EUR 17,94Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Paperback. Condición: Brand New. reprint edition. 672 pages. 9.25x6.10x1.53 inches. In Stock.

- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 66,40
Envío por EUR 42,05Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponible
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Long ago~ the welfare of a sooiety used to depend heavily on the skill and dedioation of its oraftsmen - the miller~ the blaok smith~ the oobbler and the tailor. These oraftsmen aoquired their skill by a long and poorly paid apprentioeship to some master of their oraft. They learned by imitation and experienoe~ and by tri al and error. They did not read books or study soienoe~ they knew nothing of the theory of their subjeot~ the geometry of their ru dimentary drawings~ nor the mathematios underlying their primitive oaloulations. They oould not explain how or why they used their methods; yet they worked effeotively by themselves or in small teams to oomplete their tasks at a predioted oost~ to a fairly well predioted timesoale~ and usually to the satisfaotion of their olients. The programmer of today shares many of these attributes of a oraftsman. He learns his oraft by apprentioeship in an existing team of programmers - but his apprentiaeship is highZy paid and usually very short. He develops his skill by trial; but mostly by error. He does not study theory~ or even read books on Computer Soience. He knows nothing of the logical and mathematical founda tions of his profession; and he hates to explain or justifY~ or even to dooument what he has done.…

Das V-modell XT : Grundlagen, methodik und anwendungen -Language: german
Höhn, Reinhard; Höppner, Stephan; Rausch, A. (CON); Broy, M. (CON); Petrasch, R. (CON)
Idioma: Alemán
Editorial: Springer, 2008
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 52,04
Envío por EUR 2,37Se envía dentro de 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,94Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.

- Tapa dura
Librería: -OnTimeBooks-, Phoenix, AZ, Estados Unidos de America-OnTimeBooks-
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 142,75
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponible
Condición: very_good. Gently read. May have name of previous ownership, or ex-library edition. Binding tight; spine straight and smooth, with no creasing; covers clean and crisp. Minimal signs of handling or shelving. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships USPS Media Mail.…

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,59
Envío por EUR 2,37Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 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 131,43
Envío por EUR 13,50Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In English.

Idioma: Inglés
Editorial: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 1979
- Tapa blanda
Librería: Rarewaves.com UK, London, Reino UnidoRarewaves.com UK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 69,93
Envío por EUR 77,73Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Paperback. Condición: New. 1979 ed.

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 149,84
Envío por EUR 4,04Se 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.…

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 142,87
Envío por EUR 17,94Se 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.