Casteran pierre (23 Ergebnisse)
Verlag: Plon
- Softcover
Anbieter: Ammareal, Morangis, FrankreichAmmareal
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut bis sehr gut
EUR 3,50
EUR 16,50 VersandVersand von Frankreich nach USAAnzahl: 1 verfügbar
Softcover. 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.
- Hardcover
Anbieter: La Bouquinerie à Dédé, Gatineau, QC, KanadaLa Bouquinerie à Dédé
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 10,83
EUR 17,56 VersandVersand von Kanada nach USAAnzahl: 1 verfügbar
Couverture rigide. Zustand: Bonne Condition. Couverture et jaquette légèrement usée. Intérieur propre. Envoi soigné.
Verlag: Plon 1978
Anbieter: crealivres, la fontennelle, Frankreichcrealivres
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 14,00
EUR 14,00 VersandVersand von Frankreich nach USAAnzahl: 1 verfügbar
Zustand: Good. Envoi rapide Bon Etat. in8. 1978. Broché. 242 pages. Good.
Sprache: Englisch
Verlag: Springer 2010
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 37 von 45. Buch 37 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: Goodwill Southern California, Los Angeles, CA, USAGoodwill Southern California
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 55,82
EUR 2,63 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: good.
Verlag: 1978 1978
Anbieter: KEÏMOLA, SAINT-PALAIS-SUR-MER, FrankreichKEÏMOLA
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 12,00
EUR 17,00 VersandVersand von Frankreich nach USAAnzahl: 1 verfügbar
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
Chercher fortune en nouvelle France Hardy, Jean-Pierre and Casteran, Nicole
- Hardcover
Anbieter: Aragon Books Canada, OTTAWA, ON, KanadaAragon Books Canada
Verkäufer/-in kontaktierenVerkäufer/-in mit 3 SternenZustand: Neu
EUR 39,78
EUR 20,19 VersandVersand von Kanada nach USAAnzahl: 1 verfügbar
Zustand: New.
- Hardcover
Anbieter: LE PIANO-LIVRE, QUIMPER, FrankreichLE PIANO-LIVRE
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 20,00
EUR 39,00 VersandVersand von Frankreich nach USAAnzahl: 1 verfügbar
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.
Interactive Theorem Proving and Program Development : Coq'art- the Calculus of Inductive Constructions
Bertot, Yves; Casteran, Pierre; Huet, G. (FRW); Paulin-mohring, C. (FRW)
Sprache: Englisch
Verlag: Springer 2010
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 37 von 45. Buch 37 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 84,61
EUR 2,32 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
Sprache: Englisch
Verlag: Springer 2004
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 37 von 45. Buch 37 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Anbieter: medimops, Berlin, Deutschlandmedimops
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 87,40
EUR 10,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
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.
Verlag: Plon 1978
- Softcover
Anbieter: Librairie Lire et Chiner, colmar, ALSAC, FrankreichLibrairie Lire et Chiner
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht - Sehr gut
EUR 12,00
EUR 46,00 VersandVersand von Frankreich nach USAAnzahl: 1 verfügbar
Zustand: TBE. Paris, br.; in-8, 243 pp.
Sprache: Englisch
Verlag: Springer 2010
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 37 von 45. Buch 37 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 91,17
EUR 13,88 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In English.
Interactive Theorem Proving and Program Development : Coq'art- the Calculus of Inductive Constructions
Bertot, Yves; Casteran, Pierre; Huet, G. (FRW); Paulin-mohring, C. (FRW)
Sprache: Englisch
Verlag: Springer 2010
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 37 von 45. Buch 37 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 91,16
EUR 17,38 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
- Hardcover
Anbieter: LiLi - La Liberté des Livres, CANEJAN, FrankreichLiLi - La Liberté des Livres
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Sehr gut
EUR 7,99
EUR 65,00 VersandVersand von Frankreich nach USAAnzahl: 1 verfügbar
Zustand: fine. l'article peut presenter de tres legers signes d'usure, petites rayures ou imperfections esthetiques. vendeur professionnel; envoi soigne en 24/48h.
Verlag: Plon 1978
- Softcover
Anbieter: Le-Livre, SABLONS, FrankreichLe-Livre
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenVerbandsmitglied: ILAB
Zustand: Gebraucht - Gut bis sehr gut
EUR 20,90
EUR 42,00 VersandVersand von Frankreich nach USAAnzahl: 1 verfügbar
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.
- Hardcover
Anbieter: LiLi - La Liberté des Livres, CANEJAN, FrankreichLiLi - La Liberté des Livres
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 11,67
EUR 65,00 VersandVersand von Frankreich nach USAAnzahl: 1 verfügbar
Zustand: as new. vendeur professionnel. envoi soigne en 24/48h.
Sprache: Englisch
Verlag: Springer 2004
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 37 von 45. Buch 37 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 127,83
EUR 13,88 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In English.
Interactive Theorem Proving and Program Development : Coq'art- the Calculus of Inductive Constructions
Bertot, Yves; Casteran, Pierre; Huet, G. (FRW); Paulin-mohring, C. (FRW)
Sprache: Englisch
Verlag: Springer 2010
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 37 von 45. Buch 37 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 157,52
EUR 17,38 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.
Sprache: Englisch
Verlag: Springer 2010
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 37 von 45. Buch 37 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes KönigreichMispah books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht - Wie neu
EUR 147,98
EUR 28,97 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Paperback. Zustand: Like New. Like New. book.
Verlag: Plon 1978
- Softcover
Anbieter: Le-Livre, SABLONS, FrankreichLe-Livre
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenVerbandsmitglied: ILAB
Zustand: Gebraucht - Gut bis sehr gut
EUR 25,80
EUR 42,00 VersandVersand von Frankreich nach USAAnzahl: 1 verfügbar
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
Bertot, Yves; Casteran, Pierre; Huet, G. (FRW); Paulin-mohring, C. (FRW)
Sprache: Englisch
Verlag: Springer 2010
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 37 von 45. Buch 37 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 179,86
EUR 2,32 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.
Verlag: PLON 1978
- Softcover
Anbieter: Le-Livre, SABLONS, FrankreichLe-Livre
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenVerbandsmitglied: ILAB
Zustand: Gebraucht - Gut bis sehr gut
EUR 30,90
EUR 42,00 VersandVersand von Frankreich nach USAAnzahl: 3 verfügbar
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.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg 2010
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 37 von 45. Buch 37 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
- Print-on-Demand
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 77,17
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Kartoniert / 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 th…eories and formally certified software. I.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg 2004
Serie: Texts in Theoretical Computer Science. An EATCS, Buch 37 von 45. Buch 37 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
- Print-on-Demand
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 107,09
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
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 certi…fied software. I.
