Importe total (1 artículo artículos):
Destino del pedido:
constable r l (37 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (37)
- Revistas y publicaciones (No hay ningún otro resultado que coincida con este filtro.)
- Cómics (No hay ningún otro resultado que coincida con este filtro.)
- Partituras (No hay ningún otro resultado que coincida con este filtro.)
- Arte, grabados y pósters (No hay ningún otro resultado que coincida con este filtro.)
- Fotografías (No hay ningún otro resultado que coincida con este filtro.)
- Mapas (No hay ningún otro resultado que coincida con este filtro.)
- Manuscritos y coleccionismo de papel (No hay ningún otro resultado que coincida con este filtro.)
Condición Más información
Encuadernación
Más atributos
- Primera edición (No hay ningún otro resultado que coincida con este filtro.)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (1)
- Con imágenes (17)
- No impresión bajo demanda (30)
Idioma (1)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Implementing Mathematics With the Nuprl Proof Development System
Idioma: Inglés
Publicado por CreateSpace Independent Publishing Platform, 2012
ISBN 10: 1468059106 ISBN 13: 9781468059106
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 13,08
Envío por EUR 2,31
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Implementing Mathematics With the Nuprl Proof Development System
Idioma: Inglés
Publicado por CreateSpace Independent Publishing Platform, 2012
ISBN 10: 1468059106 ISBN 13: 9781468059106
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 13,84
Envío por EUR 2,31
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Implementing Mathematics with The Nuprl Proof Development System
Idioma: Inglés
Publicado por Createspace Independent Publishing Platform, US, 2012
ISBN 10: 1468059106 ISBN 13: 9781468059106
Librería: Rarewaves USA, OSWEGO, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 16,88
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: New.
-
Implementing Mathematics With the Nuprl Proof Development System
Librería: ThriftBooks-Atlanta, AUSTELL, GA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 17,98
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
-
Implementing Mathematics with The Nuprl Proof Development System
Idioma: Inglés
Publicado por Createspace Independent Publishing Platform, US, 2012
ISBN 10: 1468059106 ISBN 13: 9781468059106
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 21,86
Gastos de envío gratis
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: New.
-
Implementing Mathematics With the Nuprl Proof Development System
Idioma: Inglés
Publicado por CreateSpace Independent Publishing Platform, 2012
ISBN 10: 1468059106 ISBN 13: 9781468059106
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 18,36
Envío por EUR 17,39
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Implementing Mathematics With the Nuprl Proof Development System
Idioma: Inglés
Publicado por CreateSpace Independent Publishing Platform, 2012
ISBN 10: 1468059106 ISBN 13: 9781468059106
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 20,00
Envío por EUR 17,39
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
A programming logic
Idioma: Inglés
Publicado por Cambridge, Mass. Winthrop Publishers , Â 1978., 1978
ISBN 10: 0876267266 ISBN 13: 9780876267264
Librería: Alcaná Libros, Madrid, M, España
Calificación del vendedor: 5 de 5 estrellas
EUR 0,90
Envío por EUR 40,00
Se envía de España a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritotapa dura. Condición: Bien. A programming logic : with an introduction to the PL Cambridge, Mass. Winthrop Publishers , Â 1978. 24 cm. x,389 pages. Encuadernación en tapa dura de editorial con sobrecubierta. Idioma Inglés. CV verifier / Robert L. Constable, Michael J. O'Donnell. Bibliography: p370-381 . Sobrecubierta deslucida. ISBN: 0876267266 (=3141436=) PO147.
-
Implementing Mathematics With The Nuprl Proof Development System
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 42,59
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Implementing Mathematics With The Nuprl Proof Development System
Librería: Basi6 International, Irving, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 42,59
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Implementing Mathematics with the Nuprl Proof Development System
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 36,63
Envío por EUR 7,54
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Used. pp. 304.
-
Implementing Mathematics with the Nuprl Proof Development System
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 41,64
Envío por EUR 3,49
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Used. pp. 304 1st Edition.
-
Implementing Mathematics With the Nuprl Proof Development System
Librería: Books-R-Keen, DuBois, PA, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 43,26
Envío por EUR 3,49
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritohardcover. Condición: New.
-
Implementing Mathematics with the Nuprl Proof Development System
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 4 de 5 estrellas
EUR 36,44
Envío por EUR 9,95
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Used. pp. 304.
-
Implementing Mathematics with The Nuprl Proof Development System
Idioma: Inglés
Publicado por Createspace Independent Publishing Platform, US, 2012
ISBN 10: 1468059106 ISBN 13: 9781468059106
Librería: Rarewaves USA United, OSWEGO, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 18,41
Envío por EUR 43,76
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: New.
-
An Introduction to the PL/CV2 Programming Logic (Paperback)
Idioma: Inglés
Publicado por Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1982
ISBN 10: 3540114920 ISBN 13: 9783540114925
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 65,59
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Law, Rulership, and Rhetoric : Selected Essays of Robert L. Benson
Idioma: Inglés
Publicado por University of Notre Dame Press, 2014
ISBN 10: 0268022348 ISBN 13: 9780268022341
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 64,42
Envío por EUR 2,31
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Implementing Mathematics with The Nuprl Proof Development System
Idioma: Inglés
Publicado por CreateSpace Independent Publishing Platform, 2012
ISBN 10: 1468059106 ISBN 13: 9781468059106
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 16,23
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. Print on Demand.
-
An Introduction to the PL/CV2 Programming Logic (Lecture Notes in Computer Science)
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 57,03
Envío por EUR 17,96
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Añadir al carritoPaperback. Condición: New.
-
An Introduction to the PL/CV2 Programming Logic (Lecture Notes in Computer Science, 135)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 60,65
Envío por EUR 13,89
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Law, Rulership, and Rhetoric : Selected Essays of Robert L. Benson
Idioma: Inglés
Publicado por University of Notre Dame Press, 2014
ISBN 10: 0268022348 ISBN 13: 9780268022341
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 79,22
Envío por EUR 2,31
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New.
-
Law, Rulership, and Rhetoric : Selected Essays of Robert L. Benson
Idioma: Inglés
Publicado por University of Notre Dame Press, 2014
ISBN 10: 0268022348 ISBN 13: 9780268022341
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 63,45
Envío por EUR 17,39
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New.
-
A Programming Logic : With an Introduction to the PL/CV Verifier
Idioma: Inglés
Publicado por Winthrop Publishers, Incorporated, 1978
ISBN 10: 0876267266 ISBN 13: 9780876267264
Librería: Better World Books Ltd, Dunfermline, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 77,36
Envío por EUR 5,80
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Good. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
An Introduction to the PL/CV2 Programming Logic
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 80,00
Envío por EUR 3,49
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 308.
-
Law, Rulership, and Rhetoric : Selected Essays of Robert L. Benson
Idioma: Inglés
Publicado por University of Notre Dame Press, 2014
ISBN 10: 0268022348 ISBN 13: 9780268022341
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 67,49
Envío por EUR 17,39
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Implementing Mathematics with The Nuprl Proof Development System
Idioma: Inglés
Publicado por Createspace Independent Publishing Platform, US, 2012
ISBN 10: 1468059106 ISBN 13: 9781468059106
Librería: Rarewaves.com UK, London, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 19,31
Envío por EUR 75,35
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: New.
-
An Introduction to the PL/CV2 Programming Logic
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, 1982
ISBN 10: 3540114920 ISBN 13: 9783540114925
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 53,49
Envío por EUR 62,35
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - The language.- Logical syntax.- The logic.- Proof rules.- Programming.- Rules for program statements.- Procedures.- Procedure rules.- Functions.- Function Rules.
-
An Introduction to the PL/CV2 Programming Logic
Librería: preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 50,25
Envío por EUR 70,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. An Introduction to the PL/CV2 Programming Logic | R. L. Constable (u. a.) | Taschenbuch | x | Englisch | 1982 | Springer | EAN 9783540114925 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
An Introduction to the PL/CV2 Programming Logic (Paperback)
Idioma: Inglés
Publicado por Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1982
ISBN 10: 3540114920 ISBN 13: 9783540114925
Librería: AussieBookSeller, Truganina, VIC, Australia
Calificación del vendedor: 5 de 5 estrellas
EUR 96,47
Envío por EUR 32,38
Se envía de Australia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
-
A programming logic: With an introduction to the PL/CV verifier
Librería: Books-R-Keen, DuBois, PA, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 130,71
Envío por EUR 3,49
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritopaperback. Condición: Fair. Acceptable items may contain, highlighting, writing, tares, stains and other previous signs of use. Used items may not contain CD's, Dust Jackets, access codes and other accompanying items when applicable. **MAY BE AN EX LIBRARY COPY**.
