D brocard (14 resultados)
The Aylesford Review Vol. VII No. 4 Winter 1965 / Spring 1966
Sewell, Brocard (editor); Houedard, Dom Sylvester; Sewell & Bergonzi, Bernard (on John Gray's Park); Carter, Angela; Horovitz, Frances; Thomas, D.M.; Shuttle, Penelope
Idioma: Inglés
Editorial: The English Carmelites, Kineton, Warwick, 1966
- Tapa blanda
- Primera edición
Librería: The Poetry Bookshop : Hay-on-Wye, Hay-on-Wye, POWYS, Reino UnidoThe Poetry Bookshop : Hay-on-Wye
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 14,49
Envío por EUR 13,43Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Card Wrappers. Condición: Very Good. First Edition. pp. 205-286. Spine a little rubbed at extremities & staples showing rust with a small doodle on rear cover. Clean within.
- Tapa blanda
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 27,72
Envío por EUR 3,94Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Good. 341 pp., softcover, ex library, else text clean and binding 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.
- Tapa blanda
Librería: Chiron Media, Wallingford, Reino UnidoChiron Media
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 14,71
Envío por EUR 18,16Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
PF. Condición: New.
- Tapa blanda
Librería: Chiron Media, Wallingford, Reino UnidoChiron Media
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 14,82
Envío por EUR 18,16Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
PF. Condición: New.
Editorial: Paris, 1968
- Tapa blanda
Librería: LibrairieLaLettre2, Villefranche de Lauragais, FranciaLibrairieLaLettre2
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Regular
EUR 8,00
Envío por EUR 35,00Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Broché. Condición: Etat moyen. in-8 Description :Ceras Pages 770 à 906, mention manuscrite couverture Langue : français.
- Tapa blanda
Librería: Mispah books, Redhill, SURRE, Reino UnidoMispah books
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Como Nuevo
EUR 86,96
Envío por EUR 29,32Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Programming and Proof System Ates : Advanced Techniques Integration into Efficient Scientific Software
Puccetti, Armand (EDT); Brocard, D. (CON); Gagert, P. (CON); Gribomont, P. (CON); Pirotte, O. (CON)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 132,62
Envío por EUR 2,31Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: New.
- Tapa blanda
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 118,64
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. Today, people use a large number of systems ranging in complexity from washing machines to international airline reservation systems. Computers are used in nearly all such systems: accuracy and security are becoming increasingly essential. The design of s.
Editorial: St. Alberts Press,, Aylesford,, 1960
- Tapa blanda
- Primera edición
Librería: Burwood Books, Wickham Market, Reino UnidoBurwood Books
Contactar con el vendedorVendedor de 5 estrellasMiembro de asociación: PBFA
Condición: Usado - Aceptable
EUR 43,48
Envío por EUR 26,38Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: Good. First Edition. Wraps. 8vo. pp 282-327. Wraps. Literary Quarterly. Original publisher's beige covers, lettered black and mauve. Slight foxing at edges and slight marking to covers, otherwise sound, near very good.
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 182,91
Envío por EUR 2,31Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: New.
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 189,87
Envío por EUR 2,31Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: As New. Unread book in perfect condition.
Programming and Proof System Ates : Advanced Techniques Integration into Efficient Scientific Software
Puccetti, Armand (EDT); Brocard, D. (CON); Gagert, P. (CON); Gribomont, P. (CON); Pirotte, O. (CON)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 199,49
Envío por EUR 2,31Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: As New. Unread book in perfect condition.
Idioma: Inglés
Editorial: Springer, Berlin, Springer Berlin Heidelberg, Springer, 1991
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 146,51
Envío por EUR 63,04Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. Neuware - Today, people use a large number of 'systems' ranging in complexity from washing machines to international airline reservation systems. Computers are used in nearly all such systems: accuracy and security are becoming increasingly essential. The design of such computer systems should make u…se of development methods as systematic as those used in other engineering disciplines. A systematic development method must provide a way of writing specifications which are both precise and concise; it must also supply a way of relating design to specification. A concise specification can be achieved by restricting attention to what a system has to do: all considerations of implementation details are postponed. With computer systems, this is done by: 1) building an abstract model of the system -operations being specified by pre-and post-conditions; 2) defining languages by mapping program texts onto some collection of objects modelizing the concepts of the system to be dealt with, whose meaning is understood; 3) defining complex data objects in terms of abstractions known from mathematics. This last topic, the use of abstract data types, pervades all work on specifications and is necessary in order to apply ideas to systems of significant complexity. The use of mathematics based notations is the best way to achieve precision. 1.1 ABSTRACT DATA TYPES, PROOF TECHNIQUES From a practical point of view, a solution to these three problems consists to introduce abstract data types in the programming languages, and to consider formal proof methods.
Editorial: Gand, chez C.Poelman 1874, 1874
- Tapa blanda
Librería: Antiquariaat Pieter Judo (De Lezenaar), Hasselt, BelgicaAntiquariaat Pieter Judo (De Lezenaar)
Contactar con el vendedorVendedor de 5 estrellasMiembro de asociación: ILAB
Condición: Usado
EUR 55,00
Envío por EUR 19,00Se envía de Belgica a Estados Unidos de AmericaCantidad disponible: 1 disponibles
xii + 494pp., 2e édition revue et augmentée, reliure cart. (dos en cuir, charnières partiellement cassées) 17cm., texte frais, intérieur en bon état, R86214.
