Importo totale (1 articolo articoli):
Destinazione ordine:
casteran pierre (22 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (22)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (7)
- Come nuovo, Ottimo o Quasi ottimo (10)
- Molto buono o Buono (2)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (3)
Legatura
Ulteriori caratteristiche
- Prima ed. (Nessun altro risultato corrispondente a questo perfezionamento)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (13)
- Non Print on Demand (20)
Lingua (3)
Spedizione gratuita
- Spedizione gratuita in U.S.A. (Nessun altro risultato corrispondente a questo perfezionamento)
Paese del venditore
Valutazione venditore
-
L'afrique deboussolee. suivi d'un reportage de g. garcia marquez "opération charlotte"
Editore: Plon
AffareEUR 3,14
Spedizione EUR 16,50
Spedito da Francia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloSoftcover. Condizione: 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
Da: La Bouquinerie à Dédé, Gatineau, QC, Canada
Valutazione del venditore 5 su 5 stelle
EUR 10,91
Spedizione EUR 17,07
Spedito da Canada a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCouverture rigide. Condizione: Bonne Condition. Couverture et jaquette légèrement usée. Intérieur propre. Envoi soigné.
-
Interactive Theorem Proving and Program Development: CoqArt: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Libro 37 di 45: Texts in Theoretical Computer Science. An EATCSDa: Goodwill Southern California, Los Angeles, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: good.
-
L'AFRIQUE DEBOUSSOLEE
Editore: 1978, 1978
Da: KEÏMOLA, SAINT-PALAIS-SUR-MER, Francia
Valutazione del venditore 5 su 5 stelle
EUR 12,00
Spedizione EUR 17,00
Spedito da Francia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPlon 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
Da: Aragon Books Canada, OTTAWA, ON, Canada
Valutazione del venditore 3 su 5 stelle
EUR 38,68
Spedizione EUR 19,63
Spedito da Canada a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New.
-
Interactive Theorem Proving and Program Development : Coq'art- the Calculus of Inductive Constructions
Libro 37 di 45: Texts in Theoretical Computer Science. An EATCSDa: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 84,82
Spedizione EUR 2,25
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
EUR 20,00
Spedizione EUR 39,00
Spedito da Francia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloRayon : 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 : Allemagne, 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 di 45: Texts in Theoretical Computer Science. An EATCSDa: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 90,17
Spedizione EUR 13,83
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In English.
-
Interactive Theorem Proving and Program Development : Coq'art- the Calculus of Inductive Constructions
Libro 37 di 45: Texts in Theoretical Computer Science. An EATCSDa: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 90,16
Spedizione EUR 17,32
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
L'Afrique déboussolée
Editore: Plon, 1978
Da: Librairie Lire et Chiner, Colmar, ALSAC, Francia
Valutazione del venditore 4 su 5 stelle
EUR 12,00
Spedizione EUR 46,00
Spedito da Francia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: TBE. Paris, br.; in-8, 243 pp.
-
Chercher fortune en nouvelle France
Da: LiLi - La Liberté des Livres, CANEJAN, Francia
Valutazione del venditore 5 su 5 stelle
EUR 7,99
Spedizione EUR 65,00
Spedito da Francia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: 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.
Editore: Plon, 1978
ISBN 10: 2259004083 ISBN 13: 9782259004084
Da: Le-Livre, SABLONS, Francia
Membro dell'associazione: ILAB
Valutazione del venditore 5 su 5 stelle
EUR 20,90
Spedizione EUR 42,00
Spedito da Francia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCouverture souple. Condizione: 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.
-
Interactive Theorem Proving and Program Development
Libro 37 di 45: Texts in Theoretical Computer Science. An EATCSDa: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 126,42
Spedizione EUR 13,83
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In English.
-
Chercher fortune en nouvelle France
Da: LiLi - La Liberté des Livres, CANEJAN, Francia
Valutazione del venditore 5 su 5 stelle
EUR 11,67
Spedizione EUR 65,00
Spedito da Francia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: as new. vendeur professionnel. envoi soigne en 24/48h.
-
Interactive Theorem Proving and Program Development : Coq'art- the Calculus of Inductive Constructions
Libro 37 di 45: Texts in Theoretical Computer Science. An EATCSDa: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 156,96
Spedizione EUR 17,32
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: 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 di 45: Texts in Theoretical Computer Science. An EATCSDa: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 147,46
Spedizione EUR 28,86
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Like New. Like New. book.
-
Interactive Theorem Proving and Program Development : Coq'art- the Calculus of Inductive Constructions
Libro 37 di 45: Texts in Theoretical Computer Science. An EATCSDa: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 179,28
Spedizione EUR 2,25
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
L'Afrique déboussolée suivi d'un reportage de Gabriel Garcia Marquez "opération Charlotte".
Editore: Plon, 1978
ISBN 10: 2259004083 ISBN 13: 9782259004084
Da: Le-Livre, SABLONS, Francia
Membro dell'associazione: ILAB
Valutazione del venditore 5 su 5 stelle
EUR 25,80
Spedizione EUR 42,00
Spedito da Francia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCouverture souple. Condizione: 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.
-
L'AFRIQUE DEBOUSSOLEE
Editore: PLON, 1978
ISBN 10: 2259004083 ISBN 13: 9782259004084
Da: Le-Livre, SABLONS, Francia
Membro dell'associazione: ILAB
Valutazione del venditore 5 su 5 stelle
EUR 30,90
Spedizione EUR 42,00
Spedito da Francia a U.S.A.Quantità: 3 disponibili
Aggiungi al carrelloCouverture souple. Condizione: 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.
-
L'afrique deboussolee. suivi d'un reportage de g. garcia marquez "opération charlotte"
Editore: Plon, 1978
Da: crealivres, La fontennelle, Francia
Valutazione del venditore 5 su 5 stelle
EUR 14,00
Spedizione EUR 55,00
Spedito da Francia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Good. Envoi rapide Bon Etat. in8. 1978. Broché. 242 pages. Good.
-
Interactive Theorem Proving and Program Development
Libro 37 di 45: Texts in Theoretical Computer Science. An EATCSLingua: Inglese
Editore: Springer Berlin Heidelberg, 2010
ISBN 10: 3642058809 ISBN 13: 9783642058806
EUR 77,17
Spedizione EUR 48,99
Spedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloKartoniert / Broschiert. Condizione: 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 di 45: Texts in Theoretical Computer Science. An EATCSLingua: Inglese
Editore: Springer Berlin Heidelberg, 2004
ISBN 10: 3540208542 ISBN 13: 9783540208549
EUR 107,09
Spedizione EUR 48,99
Spedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: 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.
