Casteran pierre (25 risultati)
Editore: Plon
- Brossura
Da: Ammareal, Morangis, FranciaAmmareal
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Quasi ottimo
EUR 3,50
EUR 16,50 spedizioneSpedito 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.
- Rilegato
Da: La Bouquinerie à Dédé, Gatineau, QC, CanadaLa Bouquinerie à Dédé
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 10,91
EUR 17,29 spedizioneSpedito da Canada a U.S.A.Quantità: 1 disponibili
Couverture rigide. Condizione: Bonne Condition. Couverture et jaquette légèrement usée. Intérieur propre. Envoi soigné.
Editore: Plon, 1978
Da: crealivres, la fontennelle, Franciacrealivres
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 14,00
EUR 14,00 spedizioneSpedito da Francia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Good. Envoi rapide Bon Etat. in8. 1978. Broché. 242 pages. Good.
Editore: 1978, 1978
Da: KEÏMOLA, SAINT-PALAIS-SUR-MER, FranciaKEÏMOLA
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 12,00
EUR 17,00 spedizioneSpedito 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.
Lingua: Inglese
Editore: Springer, 2004
Serie: Libro 37 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
Da: medimops, Berlin, Germaniamedimops
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 50,35
EUR 20,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Condizione: 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.
Chercher fortune en nouvelle France Hardy, Jean-Pierre and Casteran, Nicole
Chercher fortune en nouvelle France Hardy, Jean-Pierre and Casteran, Nicole
- Rilegato
Da: Aragon Books Canada, OTTAWA, ON, CanadaAragon Books Canada
Contatta il venditoreVenditore con 2 stelleCondizione: Nuovo
EUR 39,18
EUR 19,88 spedizioneSpedito da Canada a U.S.A.Quantità: 1 disponibili
Condizione: New.
- Rilegato
Da: LE PIANO-LIVRE, QUIMPER, FranciaLE PIANO-LIVRE
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 20,00
EUR 39,00 spedizioneSpedito da Francia a U.S.A.Quantità: 1 disponibili
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 : 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.
Lingua: Inglese
Editore: Springer, 2010
Serie: Libro 37 di 45 - Texts in Theoretical Computer Science. An EATCS
- Brossura
Da: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 87,02
Spedizione gratuitaSpedito in U.S.A.Quantità: 10 disponibili
Condizione: Brand New. New. Delivery takes 25-30 days. Excellent Customer Service.
Lingua: Inglese
Editore: Springer, 2010
Serie: Libro 37 di 45 - Texts in Theoretical Computer Science. An EATCS
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 92,05
EUR 14,01 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In English.
Editore: Plon, 1978
- Brossura
Da: Librairie Lire et Chiner, colmar, ALSAC, FranciaLibrairie Lire et Chiner
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Ottimo
EUR 12,00
EUR 46,00 spedizioneSpedito da Francia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: TBE. Paris, br.; in-8, 243 pp.
Interactive Theorem Proving and Program Development : Coq'art- the Calculus of Inductive Constructions
Bertot, Yves; Casteran, Pierre; Huet, G. (FRW); Paulin-mohring, C. (FRW)
Lingua: Inglese
Editore: Springer, 2010
Serie: Libro 37 di 45 - Texts in Theoretical Computer Science. An EATCS
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 89,64
EUR 17,55 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Interactive Theorem Proving and Program Development : Coq'art- the Calculus of Inductive Constructions
Bertot, Yves; Casteran, Pierre; Huet, G. (FRW); Paulin-mohring, C. (FRW)
Lingua: Inglese
Editore: Springer, 2010
Serie: Libro 37 di 45 - Texts in Theoretical Computer Science. An EATCS
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 106,89
EUR 2,28 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Lingua: Inglese
Editore: Springer, 2004
Serie: Libro 37 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
Da: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 113,51
Spedizione gratuitaSpedito in U.S.A.Quantità: 10 disponibili
Condizione: Brand New. New. Delivery takes 25-30 days. Excellent Customer Service.
- Rilegato
Da: LiLi - La Liberté des Livres, CANEJAN, FranciaLiLi - La Liberté des Livres
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 7,99
EUR 65,00 spedizioneSpedito da Francia a U.S.A.Quantità: 1 disponibili
Condizione: fine. l'article peut presenter de tres legers signes d'usure, petites rayures ou imperfections esthetiques. vendeur professionnel; envoi soigne en 24/48h.
Editore: Plon, 1978
- Brossura
Da: Le-Livre, SABLONS, FranciaLe-Livre
Contatta il venditoreVenditore con 5 stelleMembro dell’associazione: ILAB
Condizione: Usato - Quasi ottimo
EUR 20,90
EUR 42,00 spedizioneSpedito da Francia a U.S.A.Quantità: 1 disponibili
Couverture 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.
- Rilegato
Da: LiLi - La Liberté des Livres, CANEJAN, FranciaLiLi - La Liberté des Livres
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 11,67
EUR 65,00 spedizioneSpedito da Francia a U.S.A.Quantità: 1 disponibili
Condizione: as new. vendeur professionnel. envoi soigne en 24/48h.
Lingua: Inglese
Editore: Springer, 2004
Serie: Libro 37 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 129,07
EUR 14,01 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In English.
Lingua: Inglese
Editore: Springer, 2004
Serie: Libro 37 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 147,81
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Editore: Plon, 1978
- Brossura
Da: Le-Livre, SABLONS, FranciaLe-Livre
Contatta il venditoreVenditore con 5 stelleMembro dell’associazione: ILAB
Condizione: Usato - Quasi ottimo
EUR 25,80
EUR 42,00 spedizioneSpedito da Francia a U.S.A.Quantità: 1 disponibili
Couverture 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.
Interactive Theorem Proving and Program Development : Coq'art- the Calculus of Inductive Constructions
Bertot, Yves; Casteran, Pierre; Huet, G. (FRW); Paulin-mohring, C. (FRW)
Lingua: Inglese
Editore: Springer, 2010
Serie: Libro 37 di 45 - Texts in Theoretical Computer Science. An EATCS
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 169,88
EUR 17,55 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Springer, 2010
Serie: Libro 37 di 45 - Texts in Theoretical Computer Science. An EATCS
- Brossura
Da: Mispah books, Redhill, SURRE, Regno UnitoMispah books
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Come nuovo
EUR 160,25
EUR 29,25 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Interactive Theorem Proving and Program Development : Coq'art- the Calculus of Inductive Constructions
Bertot, Yves; Casteran, Pierre; Huet, G. (FRW); Paulin-mohring, C. (FRW)
Lingua: Inglese
Editore: Springer, 2010
Serie: Libro 37 di 45 - Texts in Theoretical Computer Science. An EATCS
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 192,83
EUR 2,28 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Editore: PLON, 1978
- Brossura
Da: Le-Livre, SABLONS, FranciaLe-Livre
Contatta il venditoreVenditore con 5 stelleMembro dell’associazione: ILAB
Condizione: Usato - Quasi ottimo
EUR 30,90
EUR 42,00 spedizioneSpedito da Francia a U.S.A.Quantità: 3 disponibili
Couverture 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.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 2010
Serie: Libro 37 di 45 - Texts in Theoretical Computer Science. An EATCS
- Brossura
- Print on Demand
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 77,17
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
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 ce…rtified software. I.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 2004
Serie: Libro 37 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
- Print on Demand
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 107,09
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Gebunden. 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 f…ormally certified software. I.
