Importe total (1 artículo artículos):
Destino del pedido:
casteran pierre (24 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (24)
- 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
- Nuevo (8)
- Como nuevo, Excelente o Muy bueno (10)
- Bueno o Aceptable (3)
- Regular o Pobre (No hay ningún otro resultado que coincida con este filtro.)
- Tal como se indica (3)
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 (No hay ningún otro resultado que coincida con este filtro.)
- Con imágenes (13)
- No impresión bajo demanda (22)
Idioma (3)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
L'afrique deboussolee. suivi d'un reportage de g. garcia marquez "opération charlotte"
Publicado por Plon
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
OportunidadEUR 3,15
Envío por EUR 16,50
Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoSoftcover. Condición: Bon. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Chercher fortune en nouvelle France
Librería: La Bouquinerie à Dédé, Gatineau, QC, Canada
Calificación del vendedor: 5 de 5 estrellas
EUR 10,84
Envío por EUR 17,54
Se envía de Canada a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCouverture rigide. Condición: Bonne Condition. Couverture et jaquette légèrement usée. Intérieur propre. Envoi soigné.
-
L'afrique deboussolee. suivi d'un reportage de g. garcia marquez "opération charlotte"
Publicado por Plon, 1978
Librería: crealivres, La fontennelle, Francia
Calificación del vendedor: 5 de 5 estrellas
EUR 14,00
Envío por EUR 14,00
Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Good. Envoi rapide Bon Etat. in8. 1978. Broché. 242 pages. Good.
-
Interactive Theorem Proving and Program Development: CoqArt: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Libro 37 de 45: Texts in Theoretical Computer Science. An EATCSLibrería: Goodwill Southern California, Los Angeles, CA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 55,76
Envío por EUR 2,63
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: good.
-
L'AFRIQUE DEBOUSSOLEE
Publicado por 1978, 1978
Librería: KEÏMOLA, SAINT-PALAIS-SUR-MER, Francia
Calificación del vendedor: 5 de 5 estrellas
EUR 12,00
Envío por EUR 17,00
Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPlon livre récit , Etat : bon broché 24*15,5 242 ----------> Pour bénéficier du tarif de livraison le plus avantageux, pour la France et certains pays d'Europe, les livres seront expédiés par Mondial Relay. Merci de m'indiquer un point relais Mondial Relay lors de votre commande.
-
Chercher fortune en nouvelle France Hardy, Jean-Pierre and Casteran, Nicole
Librería: Aragon Books Canada, OTTAWA, ON, Canada
Calificación del vendedor: 3 de 5 estrellas
EUR 39,74
Envío por EUR 20,17
Se envía de Canada a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New.
-
Chercher fortune en Nouvelle-France
Librería: LE PIANO-LIVRE, QUIMPER, Francia
Calificación del vendedor: 5 de 5 estrellas
EUR 20,00
Envío por EUR 39,00
Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoRayon : Civilisation Editeur : Libre Expression Date de parution : 2007 Description : In-4, 208 pages, relié entoilé avec jaquette parfaite, occasion, très bon état. IMPORTANT : Pour les envois internationaux, merci de vous renseigner avant de passer commande. Les envois se font uniquement en point relais MONDIAL RELAY ou INPOST pour les pays suivants : Autriche, Belgique, Espagne, Italie, Luxembourg, Pays-Bas, Pologne, et Portugal. Merci de nous indiquer en retour le point relais choisi ainsi que votre numéro de téléphone mobile pour assurer le suivi du colis. ATTENTION : Les expéditions nationales de plus de 2 kilos et les expéditions internationales de plus de 1 kilo se voient appliquer un supplément de port. Envois quotidiens du mardi au samedi. Les livres sont envoyés sous enveloppe bulles. Les frais de ports comprennent les frais d'affranchissements et d'emballage. Librairie Le Piano-Livre. Merci. Référence catalogue vendeur: X20792.
-
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Libro 37 de 45: Texts in Theoretical Computer Science. An EATCSLibrería: medimops, Berlin, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 87,83
Envío por EUR 10,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
-
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Libro 37 de 45: Texts in Theoretical Computer Science. An EATCSLibrería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 92,37
Envío por EUR 14,06
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In English.
-
L'Afrique déboussolée
Publicado por Plon, 1978
Librería: Librairie Lire et Chiner, Colmar, ALSAC, Francia
Calificación del vendedor: 4 de 5 estrellas
EUR 12,00
Envío por EUR 46,00
Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: TBE. Paris, br.; in-8, 243 pp.
-
Interactive Theorem Proving and Program Development : Coq'art- the Calculus of Inductive Constructions
Libro 37 de 45: Texts in Theoretical Computer Science. An EATCSLibrería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 107,37
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.
-
Interactive Theorem Proving and Program Development : Coq'art- the Calculus of Inductive Constructions
Libro 37 de 45: Texts in Theoretical Computer Science. An EATCSLibrería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 92,35
Envío por EUR 17,61
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Chercher fortune en nouvelle France
Librería: LiLi - La Liberté des Livres, CANEJAN, Francia
Calificación del vendedor: 5 de 5 estrellas
EUR 7,99
Envío por EUR 65,00
Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: fine. l'article peut presenter de tres legers signes d'usure, petites rayures ou imperfections esthetiques. vendeur professionnel; envoi soigne en 24/48h.
-
L'Afrique déboussolée.
Publicado por Plon, 1978
ISBN 10: 2259004083 ISBN 13: 9782259004084
Librería: Le-Livre, SABLONS, Francia
Miembro de asociación: ILAB
Calificación del vendedor: 5 de 5 estrellas
EUR 20,90
Envío por EUR 42,00
Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCouverture souple. Condición: bon. R100065829: 1978. In-8. Broché. Etat d'usage, Coins frottés, Dos plié, Intérieur frais. 242 pages - quelques cartes en noir et blanc hors texte en fin d'ouvrage. . . . Classification Dewey : 960-Histoire générale de l'Afrique.
-
Chercher fortune en nouvelle France
Librería: LiLi - La Liberté des Livres, CANEJAN, Francia
Calificación del vendedor: 5 de 5 estrellas
EUR 11,67
Envío por EUR 65,00
Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: as new. vendeur professionnel. envoi soigne en 24/48h.
-
Interactive Theorem Proving and Program Development
Libro 37 de 45: Texts in Theoretical Computer Science. An EATCSLibrería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 129,51
Envío por EUR 14,06
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In English.
-
Interactive Theorem Proving and Program Development
Libro 37 de 45: Texts in Theoretical Computer Science. An EATCSLibrería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 149,93
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.
-
Interactive Theorem Proving and Program Development : Coq'art- the Calculus of Inductive Constructions
Libro 37 de 45: Texts in Theoretical Computer Science. An EATCSLibrería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 159,58
Envío por EUR 17,61
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.
-
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Libro 37 de 45: Texts in Theoretical Computer Science. An EATCSLibrería: Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 149,92
Envío por EUR 29,34
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Like New. Like New. book.
-
L'Afrique déboussolée suivi d'un reportage de Gabriel Garcia Marquez "opération Charlotte".
Publicado por Plon, 1978
ISBN 10: 2259004083 ISBN 13: 9782259004084
Librería: Le-Livre, SABLONS, Francia
Miembro de asociación: ILAB
Calificación del vendedor: 5 de 5 estrellas
EUR 25,80
Envío por EUR 42,00
Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCouverture souple. Condición: bon. RO20248530: 1978. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 242 pages. . . . Classification Dewey : 960-Histoire générale de l'Afrique.
-
Interactive Theorem Proving and Program Development : Coq'art- the Calculus of Inductive Constructions
Libro 37 de 45: Texts in Theoretical Computer Science. An EATCSLibrería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 182,48
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.
-
L'AFRIQUE DEBOUSSOLEE
Publicado por PLON, 1978
ISBN 10: 2259004083 ISBN 13: 9782259004084
Librería: Le-Livre, SABLONS, Francia
Miembro de asociación: ILAB
Calificación del vendedor: 5 de 5 estrellas
EUR 30,90
Envío por EUR 42,00
Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 3 disponibles
Añadir al carritoCouverture souple. Condición: bon. R160018667: 1978. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 242 pages. . . . Classification Dewey : 960-Histoire générale de l'Afrique.
-
Interactive Theorem Proving and Program Development
Libro 37 de 45: Texts in Theoretical Computer Science. An EATCSIdioma: Inglés
Publicado por Springer Berlin Heidelberg, 2010
ISBN 10: 3642058809 ISBN 13: 9783642058806
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 77,17
Envío por EUR 48,99
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoKartoniert / Broschiert. Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. First book providing the theoretical foundationsA broad spectrum of applications of the theorem proving system CoqCoq is an interactive proof assistant for the development of mathematical theories and formally certified software. I.
-
Interactive Theorem Proving and Program Development
Libro 37 de 45: Texts in Theoretical Computer Science. An EATCSIdioma: Inglés
Publicado por Springer Berlin Heidelberg, 2004
ISBN 10: 3540208542 ISBN 13: 9783540208549
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 107,09
Envío por EUR 48,99
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. First book providing the theoretical foundationsA broad spectrum of applications of the theorem proving system CoqCoq is an interactive proof assistant for the development of mathematical theories and formally certified software. I.
