Gesamtpreis (1 Artikel Artikel):
Versandziel:
casteran pierre (24 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (24)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
- Neu (8)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (10)
- Gut oder Befriedigend (3)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (3)
Einband
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (13)
- Keine Print-on-Demand Angebote (22)
Sprache (3)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Sonderangebot
EUR 3,15
EUR 16,50 Versand
Versand von Frankreich nach USAAnzahl: 1 verfügbar
In den WarenkorbSoftcover. Zustand: 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
Anbieter: La Bouquinerie à Dédé, Gatineau, QC, Kanada
Verkäuferbewertung 5 von 5 Sternen
Couverture rigide. Zustand: 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"
Verlag: Plon, 1978
Anbieter: crealivres, La fontennelle, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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)
Buch 37 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: Goodwill Southern California, Los Angeles, CA, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: good.
-
L'AFRIQUE DEBOUSSOLEE
Verlag: 1978, 1978
Anbieter: KEÏMOLA, SAINT-PALAIS-SUR-MER, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Plon 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
Anbieter: Aragon Books Canada, OTTAWA, ON, Kanada
Verkäuferbewertung 3 von 5 Sternen
Zustand: New.
-
Chercher fortune en Nouvelle-France
Anbieter: LE PIANO-LIVRE, QUIMPER, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Rayon : 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.
-
Zustand: 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)
Buch 37 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 92,11
EUR 14,02 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In English.
-
L'Afrique déboussolée
Verlag: Plon, 1978
Anbieter: Librairie Lire et Chiner, Colmar, ALSAC, Frankreich
Verkäuferbewertung 4 von 5 Sternen
Zustand: TBE. Paris, br.; in-8, 243 pp.
-
Interactive Theorem Proving and Program Development : Coq'art- the Calculus of Inductive Constructions
Buch 37 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 106,93
EUR 2,32 Versand
Versand innerhalb von USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Interactive Theorem Proving and Program Development : Coq'art- the Calculus of Inductive Constructions
Buch 37 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 92,10
EUR 17,56 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Chercher fortune en nouvelle France
Anbieter: LiLi - La Liberté des Livres, CANEJAN, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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.
Verlag: Plon, 1978
ISBN 10: 2259004083 ISBN 13: 9782259004084
Couverture souple. Zustand: 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
Anbieter: LiLi - La Liberté des Livres, CANEJAN, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: as new. vendeur professionnel. envoi soigne en 24/48h.
-
Interactive Theorem Proving and Program Development
Buch 37 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 129,15
EUR 14,02 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In English.
-
Interactive Theorem Proving and Program Development
Buch 37 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: California Books, Miami, FL, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New.
-
Interactive Theorem Proving and Program Development : Coq'art- the Calculus of Inductive Constructions
Buch 37 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 159,14
EUR 17,56 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: 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)
Buch 37 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 149,51
EUR 29,27 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Like New. Like New. book.
-
L'Afrique déboussolée suivi d'un reportage de Gabriel Garcia Marquez "opération Charlotte".
Verlag: Plon, 1978
ISBN 10: 2259004083 ISBN 13: 9782259004084
Couverture souple. Zustand: 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
Buch 37 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 182,41
EUR 2,32 Versand
Versand innerhalb von USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
L'AFRIQUE DEBOUSSOLEE
Verlag: PLON, 1978
ISBN 10: 2259004083 ISBN 13: 9782259004084
Couverture souple. Zustand: 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
Buch 37 von 45: Texts in Theoretical Computer Science. An EATCSSprache: Englisch
Verlag: Springer Berlin Heidelberg, 2010
ISBN 10: 3642058809 ISBN 13: 9783642058806
EUR 77,17
EUR 48,99 Versand
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbKartoniert / Broschiert. Zustand: 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
Buch 37 von 45: Texts in Theoretical Computer Science. An EATCSSprache: Englisch
Verlag: Springer Berlin Heidelberg, 2004
ISBN 10: 3540208542 ISBN 13: 9783540208549
EUR 107,09
EUR 48,99 Versand
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: 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.
